scientific article; zbMATH DE number 4119598

MaRDI QIDQ4733381zbMATH OpenFDO

Authors Howard Barringer

Publication date 1987

zbMATH Keywords

\(\omega\)- regular languageconcurrency specificationparallelism semanticsproof systemtemporal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) General topics in the theory of software (68N01) Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4081518
• On using temporal logic for refinement and compositional verification of concurrent systems
• Composition of temporal-logic specifications. Specification and verification of systems with temporal logic of distributed actions
• scientific article; zbMATH DE number 52331
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 15894
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
• Temporal logics for concurrent recursive programs: satisfiability and model checking
• Specification and verification using temporal logics

Cited in

(21)

• Control machines: A new model of parallelism for compositional specifications and their effective compilation
• Compositionality and bisimulation: A negative result
• Temporal theories as modularisation units for concurrent system specification
• \(\infty\)-regular temporal logic and its model checking problem
• Composing and refining dense temporal logic specifications
• A temporal programming model with atomic blocks based on projection temporal logic
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
• scientific article; zbMATH DE number 3932376 (Why is no real title available?)
• scientific article; zbMATH DE number 4060695 (Why is no real title available?)
• scientific article; zbMATH DE number 4081518 (Why is no real title available?)
• scientific article; zbMATH DE number 4089533 (Why is no real title available?)
• scientific article; zbMATH DE number 15894 (Why is no real title available?)
• scientific article; zbMATH DE number 1536567 (Why is no real title available?)
• scientific article; zbMATH DE number 1751887 (Why is no real title available?)
• A Branching Time Logical System for Open Distributed Systems Development
• scientific article; zbMATH DE number 7311251 (Why is no real title available?)
• Similarity saturation for first order linear temporal logic with UNLESS
• Applications and Theory of Petri Nets 2004
• On using temporal logic for refinement and compositional verification of concurrent systems
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems

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 Q4733381)