Roberto Gorrieri;Ugo Montanari
-;-
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae