scientific article; zbMATH DE number 3902010

MaRDI QIDQ3680252zbMATH OpenFDO

Authors Howard Barringer, Ruurd Kuiper

Publication date 1985

zbMATH Keywords

concurrent systemsformal specificationliveness propertiestemporal logic

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Temporal theories as modularisation units for concurrent system specification
• scientific article; zbMATH DE number 1304384
• scientific article; zbMATH DE number 139996
• scientific article; zbMATH DE number 52331
• scientific article; zbMATH DE number 4081518

Cited in

(13)

• Temporal theories as modularisation units for concurrent system specification
• Recursion induction for real-time processes
• Compositional reasoning using intervals and time reversal
• Semantic specification and verification of data flow diagrams
• scientific article; zbMATH DE number 4060695 (Why is no real title available?)
• scientific article; zbMATH DE number 1304384 (Why is no real title available?)
• A Branching Time Logical System for Open Distributed Systems Development
• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• Specifying and reasoning about shared-variable concurrency
• Assumption/guarantee specifications in linear-time temporal logic
• Compositional reasoning using the assumption-commitment paradigm
• Deductive verification of modular systems
• The need for compositional proof systems: a survey

This page was built for publication:

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