Building a Modal Interface Theory for Concurrency and Data

DOI10.1007/978-3-642-28412-0_1zbMATH Open1312.68149OpenAlexW148863789MaRDI QIDQ2890318FDOQ2890318

Martin Wirsing, Sebastian S. Bauer, Rolf Hennicker

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

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
• scientific article; zbMATH DE number 1555178
• Models for concurrency: Towards a classification
• Modelling concurrency with semi-commutations
• Context for models of concurrency

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)

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Proof of correctness of data representations
• Modal I/O Automata for Interface and Product Line Theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Weak Modal Compatibility, Refinement, and the MIO Workbench
• Title not available (Why is that?)
• CASL: the Common Algebraic Specification Language.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Modal Interface Theory with Data Constraints
• An Interface Group for Process Components
• Interface theories for concurrency and data
• Frontiers of Combining Systems
• Title not available (Why is that?)

Cited In (1)

• Modal Interface Theories for Communication-Safe Component Assemblies

Uses Software

• CASL
• Maude
• MIO Workbench
• Circus

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)