Interface theories for concurrency and data

DOI10.1016/J.TCS.2011.04.007MaRDI QIDQ549177zbMATH OpenOpenAlexFDO

Authors Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Publication date 7 July 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.04.007

zbMATH Keywords

refinementcompatibilitycompositionalitycomponent-based designinterface theorymodal input/output automatapre- and postcondition

Mathematics Subject Classification ID

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

Recommendations

• Building a Modal Interface Theory for Concurrency and Data
• A modal interface theory with data constraints
• Modal Interface Automata
• Modal interface automata
• Modal specification theories for component-based design

Cites work

• scientific article; zbMATH DE number 3723836 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 2080001 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• scientific article; zbMATH DE number 2090152 (Why is no real title available?)
• A modal interface theory for component-based design
• A modal interface theory with data constraints
• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
• An Interface Group for Process Components
• Causal message sequence charts
• Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8--11, 2010. Revised selected papers
• Frontiers of Combining Systems
• Institutions: abstract model theory for specification and programming
• Modal I/O Automata for Interface and Product Line Theories
• On Modal Refinement and Consistency
• On determinism in modal transition systems
• On weak modal compatibility, refinement, and the MIO workbench
• Proof of correctness of data representations
• Trustworthly global computing. 5th international symposium, TGC 2010, Munich, Germany, February 24--26, 2010. Revised selected papers

Cited in

(10)

• Building a Modal Interface Theory for Concurrency and Data
• Nondeterministic modal interfaces
• A modal interface theory with data constraints
• scientific article; zbMATH DE number 4041239 (Why is no real title available?)
• Interface automata for shared memory
• Hybrid dynamic logic institutions for event/data-based systems
• Specifying modules to satisfy interfaces: A state transition system approach
• Modal specification theories for component-based design
• Nondeterministic modal interfaces
• Interface automata for shared memory

Describes a project that uses

Uses Software

• Circus
• MIO Workbench

This page was built for publication: Interface theories for concurrency and data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549177)