Pierpaolo Degano;Rocco de Nicola;Ugo Montanari
Univ. di Pisa, Pisa, Italy;Istituto di Elaborazione dell'Informazione, Pisa, Italy;Istituto di Elaborazione dell'Informazione, Pisa, Italy
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms