scientific article; zbMATH DE number 4119658

zbMATH Open0683.68072MaRDI QIDQ4733433FDOQ4733433

Authors: Wolfgang Reisig 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4085006
• scientific article; zbMATH DE number 218548
• scientific article; zbMATH DE number 47204
• scientific article; zbMATH DE number 2088655
• scientific article; zbMATH DE number 176158

zbMATH Keywords

temporal logicPetri netconcurrent system properties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Cited In (6)

• Temporal approach to causal knowledge
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On undecidability of propositional temporal logics on trace systems
• Title not available (Why is that?)

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