Ugo Montanari;Daniel Yankelevich
-;-
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae