Building a Modal Interface Theory for Concurrency and Data
From MaRDI portal
Publication:2890318
DOI10.1007/978-3-642-28412-0_1zbMath1312.68149MaRDI QIDQ2890318
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_1
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interface theories for concurrency and data
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- CASL: the Common Algebraic Specification Language.
- Proof of correctness of data representations
- A Modal Interface Theory with Data Constraints
- On Weak Modal Compatibility, Refinement, and the MIO Workbench
- An Interface Group for Process Components
- Frontiers of Combining Systems
- Modal I/O Automata for Interface and Product Line Theories