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.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.