A Few Considerations on Structural and Logical Composition in Specification Theories

Axel Legay, Andrzej Wasowski

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

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 languageEnglish
Title of host publicationProceeings of FIT 10: 8th International Conference on Frontiers of Information Technology
Number of pages5
PublisherAssociation for Computing Machinery
Publication date25 Jan 2011
Pages49-54
ISBN (Print)978-1-60558-642-7
Publication statusPublished - 25 Jan 2011

Fingerprint

Dive into the research topics of 'A Few Considerations on Structural and Logical Composition in Specification Theories'. Together they form a unique fingerprint.

Cite this