Document - Measured causes: adding time and probability to true concurrency

2024

Contribution to book Restricted

Measured causes: adding time and probability to true concurrency

Brinksma E., Langerak R., Latella D., Massink M.

Causality, , , , , Semantics Timed event structures Probabilistic event structures Stochastic event structures Process algebra

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.

Source: LECTURE NOTES IN COMPUTER SCIENCE, vol. 15262, pp. 297-308

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:iris.cnr.it:20.500.14243/511828,
	title = {Measured causes: adding time and probability to true concurrency},
	author = {Brinksma E. and Langerak R. and Latella D. and Massink M.},
	doi = {10.1007/978-3-031-75778-5_14},
	booktitle = {LECTURE NOTES IN COMPUTER SCIENCE, vol. 15262, pp. 297-308},
	year = {2024}
}