Extending temporal logic by explicit concurrency

DOI10.1007/3-540-54345-7_81MaRDI QIDQ4035260zbMATH OpenFDO

Authors Barbara Paech

Publication date 18 May 1993

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

Full work available at URL https://doi.org/10.1007/3-540-54345-7_81

zbMATH Keywords

finite model propertylogic with structural operators for sequential and parallel compositionnet logicstate spaces of occurrence nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 218548
• A logic for true concurrency
• scientific article; zbMATH DE number 4085006
• scientific article; zbMATH DE number 2242579
• A spatial logic for concurrency. I

Cited in

(9)

• Weakest precondition semantics for time and concurrency
• Truly concurrent logic via in-between specification
• A Temporal Logic for Multi-threaded Programs
• An Extended Temporal Logic for CSCW
• scientific article; zbMATH DE number 4085006 (Why is no real title available?)
• scientific article; zbMATH DE number 4119658 (Why is no real title available?)
• Decision procedure for temporal logic of concurrent objects
• scientific article; zbMATH DE number 7311251 (Why is no real title available?)
• Temporal semantics for concurrent METATEM

This page was built for publication: Extending temporal logic by explicit concurrency

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