Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations

Guangyuan Guo, Ryszard Janicki. Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. In Hélène Kirchner, Christophe Ringeissen, editors, Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Volume 2422 of Lecture Notes in Computer Science, pages 178-191, Springer, 2002. [doi]

Abstract

Abstract is missing.