scientific article; zbMATH DE number 4119658

zbMath0683.68072MaRDI QIDQ4733433

Wolfgang Reisig

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (1)

On undecidability of propositional temporal logics on trace systems

This page was built for publication: