SCONE: a simple calculus of nets

Authors:
Roberto Gorrieri;Ugo Montanari
Affiliations:
-;-
Venue:
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Year:
1990

Citing 0
Cited 3

Encoding Asynchronous Interactions Using Open Petri Nets

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
An Operational Petri Net Semantics for A 2CCS

Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract