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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.46.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |