Process Refinement and Asynchronous Composition with Modalities

Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker. Process Refinement and Asynchronous Composition with Modalities. In Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, editors, Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010. Volume 827 of CEUR Workshop Proceedings, pages 385-401, CEUR-WS.org, 2010. [doi]

Abstract

Abstract is missing.