On the border of causality: contact and confusion

DOI10.1016/0304-3975(95)00123-9zbMath0872.68128OpenAlexW1978145943MaRDI QIDQ672875

Einar Smith

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00123-9

zbMATH Keywords

concurrent processesasynchronous interactionselementary net systemsmetastability in arbiters

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Mutex needs fairness ⋮ On occurrence net semantics for petri nets with contacts ⋮ Unnamed Item ⋮ Confusion control in generalized Petri nets using synchronized events ⋮ Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets ⋮ Confusion analysis and detection for workflow nets ⋮ Process languages and nets ⋮ A generic causal model for place latency.

Cites Work

• Mathematical aspects of net theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the border of causality: contact and confusion