Localities in systems with a/sync communication

DOI10.1016/j.tcs.2011.12.038zbMath1238.68099OpenAlexW2101195035MaRDI QIDQ418785

Maciej Koutny, H. C. M. Kleijn

Publication date: 30 May 2012

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.038

zbMATH Keywords

localityconcurrencyprocess semanticsa/sync placebarb-eventoccurrence netplace transition netsynchronous and asynchronous communication

Mathematics Subject Classification ID

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

Related Items (2)

Dynamic Networks of Timed Petri Nets ⋮ Regions of Petri nets with a/sync connections

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Process semantics of general inhibitor nets
• Lectures on concurrency and Petri nets. Advances in Petri nets.
• Sequential and concurrent behaviour in Petri net theory
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Membrane computing. An introduction.
• Occurrence Nets Then and Now: The Path to Structured Occurrence Nets
• Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Membrane Computing

This page was built for publication: Localities in systems with a/sync communication