A Compositional Specification Theory for Component Behaviours

DOI10.1007/978-3-642-28869-2_8zbMath1352.68149OpenAlexW2149887749MaRDI QIDQ2892725

Chris Chilton, Taolue Chen, Marta Kwiatkowska, Bengt Jonsson

Publication date: 22 June 2012

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_8

zbMATH Keywords

compositionalityrefinementcomponentsI/O automataconjunctionquotientinterface automataspecification theorylogic LTS

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (11)

Mediator Synthesis in a Component Algebra with Data ⋮ Nondeterministic modal interfaces ⋮ A formal framework for distributed cyber-physical systems ⋮ A generalised theory of interface automata, component compatibility and error ⋮ An algebraic theory of interface automata ⋮ Trace- and failure-based semantics for responsiveness ⋮ Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications ⋮ Error-pruning in interface automata ⋮ An abstract contract theory for programs with procedures ⋮ A Generalised Theory of Interface Automata, Component Compatibility and Error ⋮ Richer interface automata with optimistic and pessimistic compatibility

This page was built for publication: A Compositional Specification Theory for Component Behaviours