Measured Causes: Adding Time and Probability to True Concurrency

章节
发表日期：

2025年

查看全文

Ed Brinksma,
Rom Langerak,
Diego Latella,
Mieke Massink

摘要

In this paper we briefly discuss ten papers by Joost-Pieter Katoen on quantitative extensions of causality models from the period 1994–2001 that all resulted from collaboration with Pisa and/or Twente.

In this paper we briefly discuss ten papers by Joost-Pieter Katoen on quantitative extensions of causality models from the period 1994–2001 that all resulted from collaboration with&#xa0;Pisa and/or Twente.

Measured Causes: Adding Time and Probability to True Concurrency

摘要

In this paper we briefly discuss ten papers by Joost-Pieter Katoen on quantitative extensions of causality models from the period 1994–2001 that all resulted from collaboration with Pisa and/or Twente.