Sjoerd Cranen, MohammadReza Mousavi and Michel A. Reniers. Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, volume 5201 of Lecture Notes in Computer Science, pages 447--461, Springer-Verlag, August 2008.
We propose a rule format that guarantees associativity of binary operators with respect to all notions of behavioral equivalence that are defined in terms of (im)possibility of transitions, e.g., the notions below strong bisimilarity in van Glabbeek's spectrum. The initial format is a subset of the De Simone format. We show that all trivial generalizations of our format are bound for failure. We further extend the format in various directions and illustrate its application to several formalisms in the literature. A subset of the format is studied to obtain associativity with respect to graph isomorphism.
(Paper in .ps format in .pdf format) (Presentation in .pdf format )
@InProceedings{MousaviCONCUR08,
author = "Cranen, Sjoerd and Mousavi, MohammadReza and Reniers, Michel A.",
title = "A Rule Format for Associativity",
booktitle = "Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)",
series = "Lecture Notes in Computer Science",
volume = "5201",
pages = "447--461",
editor = "van Breugel, Franck and Chechik, Marsha",
address = "Toronto,Canada",
publisher = "Springer-Verlag, Berlin, Germany",
year = "2008"
}