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.
| Original language | English |
|---|---|
| Title of host publication | Proceeings of FIT 10: 8th International Conference on Frontiers of Information Technology |
| Number of pages | 5 |
| Publisher | Association for Computing Machinery |
| Publication date | 25 Jan 2011 |
| Pages | 49-54 |
| ISBN (Print) | 978-1-60558-642-7 |
| Publication status | Published - 25 Jan 2011 |
Keywords
- Automata-based Specification Theories
- Discrete Systems Modeling
- Real-time Systems
- Probabilistic Systems
- Algebraic Structure