Application of the composition principle to unity-like specifications

DOI10.1007/3-540-56610-4_67zbMath1497.68292OpenAlexW1581632202MaRDI QIDQ5044739

Pierre Collette

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_67

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)

Related Items (3)

Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency ⋮ Assumption/guarantee specifications in linear-time temporal logic (extended abstract) ⋮ Assumption/guarantee specifications in linear-time temporal logic

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification of concurrent objects using auxiliary variables
• Specifying concurrent objects as communicating processes
• Proving entailment between conceptual state specifications
• Tentative steps toward a development method for interfering programs
• Proofs of Networks of Processes

This page was built for publication: Application of the composition principle to unity-like specifications