Modular specification of concurrent systems with observational logic

DOI10.1007/3-540-48483-3_20MaRDI QIDQ4941937zbMATH OpenFDO

Authors Pedro Resende

Publication date 19 March 2000

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

Full work available at URL https://doi.org/10.1007/3-540-48483-3_20

zbMATH Keywords

labelled transition systemsmodularityobservational logicproof systemquantalesspecification of concurrent systems on the basis of their observable behaviour

Mathematics Subject Classification ID

Logic in computer science (03B70) Quantales (06F07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4210118
• A perspective on specifying and verifying concurrent modules
• scientific article; zbMATH DE number 1231666
• A specification logic for concurrent object-oriented programming
• Decidability of modular logics for concurrency
• Observation-based concurrent program logic for relaxed memory consistency models
• Formal Specification of Concurrent Systems: A Structured Approach
• scientific article; zbMATH DE number 4087001
• Steps in modular specifications for concurrent modules (invited tutorial paper)

Cited in

(4)

• On pushout consistency, modularity and interpolation for logical specifications
• A noncommutative theory of Penrose tilings
• scientific article; zbMATH DE number 4210118 (Why is no real title available?)
• Steps in modular specifications for concurrent modules (invited tutorial paper)

This page was built for publication: Modular specification of concurrent systems with observational logic

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