scientific article; zbMATH DE number 4110070

MaRDI QIDQ3833596zbMATH OpenFDO

Authors Alexander Rabinovich, B. A. Trakhtenbrot, Yoram Hirshfeld

Publication date 1989

zbMATH Keywords

models of concurrencyinterleaving semanticscausal semanticspomset processessemantics of Place-Transition systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) 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)

Recommendations

• Interleaving based model checking of concurrency and causality
• scientific article; zbMATH DE number 1059328
• scientific article; zbMATH DE number 4085006
• Model checking concurrency and causality
• A note on causal trees and their applications to CCS

Cited in

(6)

• On nets, algebras and modularity
• Petri net semantics of priority systems
• Process languages and nets
• From Logic to Theoretical Computer Science – An Update
• Interleaving data and effects
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)

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