scientific article
From MaRDI portal
Publication:3746897
zbMath0607.68045MaRDI QIDQ3746897
P. S. Thiagarajan, Grzegorz Rozenberg
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
On occurrence net semantics for petri nets with contacts, Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence), Confusion control in generalized Petri nets using synchronized events, Causal behaviours and nets, Partial (set) 2-structures. I: Basic notions and the representation problems, Partial (set) 2-structures. II: State spaces of concurrent systems, Some behavioural aspects of net theory, A characterization of set representable labeled partial 2-structures through decompositions, Event structures and trace monoids, Process versus unfolding semantics for Place/Transition Petri nets, On the border of causality: contact and confusion, Typed event structures and the linear \(\pi \)-calculus, Petri nets based on Lawvere theories, An algebraic characterization of independence of Petri net processes, Confusion analysis and detection for workflow nets, An interpretation of CCS into ludics, A generic causal model for place latency., Probabilistic π-Calculus and Event Structures
