scientific article

zbMATH Open0677.68006MaRDI QIDQ3833596FDOQ3833596

B. A. Trakhtenbrot, Yoram Hirshfeld, Alexander Rabinovich

Publication date: 1989

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

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)

Cited In (6)

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

   Recommendations

• Interleaving Based Model Checking of Concurrency and Causality 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Model checking concurrency and causality 👍 👎
• A note on causal trees and their applications to CCS 👍 👎

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)