Building a Modal Interface Theory for Concurrency and Data

DOI10.1007/978-3-642-28412-0_1MaRDI QIDQ2890318zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Interface theories for concurrency and data
• Modal abstractions of concurrent behavior
• A modal interface theory with data constraints
• Modular reasoning about separation of concurrent data structures
• Modal Abstractions of Concurrent Behaviour
• scientific article; zbMATH DE number 125888
• scientific article; zbMATH DE number 1555178
• Models for concurrency: Towards a classification
• Modelling concurrency with semi-commutations
• Context for models of concurrency

Cites work

• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (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 2090152 (Why is no real title available?)
• A modal interface theory with data constraints
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• An Interface Group for Process Components
• CASL: the Common Algebraic Specification Language.
• Frontiers of Combining Systems
• Interface theories for concurrency and data
• Modal I/O Automata for Interface and Product Line Theories
• On weak modal compatibility, refinement, and the MIO workbench
• Proof of correctness of data representations

Cited in

(3)

• Interface theories for concurrency and data
• A modal interface theory with data constraints
• Modal Interface Theories for Communication-Safe Component Assemblies

Describes a project that uses

Uses Software

• Circus
• MIO Workbench
• Maude
• CASL

This page was built for publication: Building a Modal Interface Theory for Concurrency and Data

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