A Few Considerations on Structural and Logical Composition in Specification Theories

Axel Legay
(INRIA Rennes, France) 		Andrzej Wąsowski
(IT University of Copenhagen, Denmark)

Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.

In Axel Legay and Benoît Caillaud: Proceedings Foundations for Interface Technologies (FIT 2010), Paris, France, 30th August 2010, Electronic Proceedings in Theoretical Computer Science 46, pp. 49–54.
Published: 22nd January 2011.
ArXived at: https://dx.doi.org/10.4204/EPTCS.46.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org