scientific article; zbMATH DE number 176158

MaRDI QIDQ4035260zbMATH OpenFDO

Authors Barbara Paech

Publication date 18 May 1993

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?)
• scientific article; zbMATH DE number 1424541 (Why is no real title available?)
• scientific article; zbMATH DE number 7311251 (Why is no real title available?)
• Temporal semantics for concurrent METATEM

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