Skip to search boxSkip to navigationSkip to main content

A Few Considerations on Structural and Logical Composition in Specification Theories

  • The French National Institute for Computer Science (INRIA)
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 49-54 (5 pages)

Publication milestones

  • Published - 25/01/2011

Publication status

Published - 25/01/2011

Publisher

Association for Computing Machinery, United States

ISBN (Print)

978-1-60558-642-7

Host publication title

Proceeings of FIT 10: 8th International Conference on Frontiers of Information Technology

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.