A Few Considerations on Structural and Logical Composition in Specification Theories

Axel Legay, Andrzej Wasowski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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.
OriginalsprogEngelsk
TitelProceeings of FIT 10: 8th International Conference on Frontiers of Information Technology
Antal sider5
ForlagAssociation for Computing Machinery
Publikationsdato25 jan. 2011
Sider49-54
ISBN (Trykt)978-1-60558-642-7
StatusUdgivet - 25 jan. 2011

Emneord

  • Automata-based Specification Theories
  • Discrete Systems Modeling
  • Real-time Systems
  • Probabilistic Systems
  • Algebraic Structure

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Few Considerations on Structural and Logical Composition in Specification Theories'. Sammen danner de et unikt fingeraftryk.

Citationsformater