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.

Measured causes: adding time and probability to true concurrency

Latella D.;Massink M.
2024

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.
2024
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
978-3-031-75778-5
Causality, , , , , Semantics
Timed event structures
Probabilistic event structures
Stochastic event structures
Process algebra
File in questo prodotto:
File Dimensione Formato  
978-3-031-75778-5_14.pdf

solo utenti autorizzati

Descrizione: Measured Causes: Adding Time and Probability to True Concurrency
Tipologia: Versione Editoriale (PDF)
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 275.68 kB
Formato Adobe PDF
275.68 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/511828
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact