Combining CCS and Petri Nets Via Structural Axioms

Ugo Montanari, Daniel Yankelevich. Combining CCS and Petri Nets Via Structural Axioms. Fundamenta Informaticae, 20(1/2/3):193-229, 1994.

Abstract

Abstract is missing.