Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna. Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. In Catuscia Palamidessi, editor, CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Volume 1877 of Lecture Notes in Computer Science, pages 442-457, Springer, 2000. [doi]

This author has not been identified. Look up 'Paolo Baldan' in GoogleThis author has not been identified. Look up 'Nadia Busi' in GoogleThis author has not been identified. Look up 'Andrea Corradini' in GoogleThis author has not been identified. Look up 'G. Michele Pinna' in Google

runs on WebDSL