Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm

DOI10.1007/BF01214554MaRDI QIDQ1914039zbMATH OpenOpenAlexFDO

Authors Ketil Stølen, Frank Dederichs, Rainer Weber

Publication date 2 June 1996

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01214554

zbMATH Keywords

FIFO channelsnetworks of agentsrefinement calculusspecification technique

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
• Assumption-commitment support for CSP model checking
• Assumption-commitment support for CSP model checking
• scientific article; zbMATH DE number 139998

Cites work

• An axiomatic basis for computer programming
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Defining liveness
• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 3938541 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3581600 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• P-A logic - a compositional proof system for distributed programs
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
• The existence of refinement mappings
• The specification statement

Cited in

(8)

• Assumption-commitment support for CSP model checking
• Formalization of semantics of systems with unreliable agents by means of nets of active resources
• Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
• scientific article; zbMATH DE number 1678358 (Why is no real title available?)
• A refinement theory that supports reasoning about knowledge and time for synchronous agents
• Implementing Services by Partial State Machines
• Assumption-commitment support for CSP model checking

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm

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