Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente

Ed Brinksma, Rom Langerak, Diego Latella, Mieke Massink*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

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.

Original languageEnglish
Title of host publicationPrinciples of Verification: Cycling the Probabilistic Landscape
Subtitle of host publicationEssays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
PublisherSpringer
Pages297-308
Number of pages12
ISBN (Electronic)978-3-031-75778-5
ISBN (Print)978-3-031-75777-8
DOIs
Publication statusPublished - 18 Nov 2024

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume15262 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • 2025 OA procedure
  • Probabilistic event structures
  • Process algebra
  • Semantics
  • Stochastic event structures
  • Timed event structures
  • Causality

Cite this