@inbook{13068404fd374675994ed68fc3ea1c0d,
title = "Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente",
abstract = "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.",
keywords = "2025 OA procedure, Probabilistic event structures, Process algebra, Semantics, Stochastic event structures, Timed event structures, Causality",
author = "Ed Brinksma and Rom Langerak and Diego Latella and Mieke Massink",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.",
year = "2024",
month = nov,
day = "18",
doi = "10.1007/978-3-031-75778-5_14",
language = "English",
isbn = "978-3-031-75777-8",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "297--308",
booktitle = "Principles of Verification: Cycling the Probabilistic Landscape",
address = "Germany",
}