A Few Considerations on Structural and Logical Composition in Specification Theories
Logic in Computer Science
2011-01-26 v1
Abstract
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.
Cite
@article{arxiv.1101.4734,
title = {A Few Considerations on Structural and Logical Composition in Specification Theories},
author = {Axel Legay and Andrzej Wąsowski},
journal= {arXiv preprint arXiv:1101.4734},
year = {2011}
}
Comments
In Proceedings FIT 2010, arXiv:1101.4266