scientific article
From MaRDI portal
Publication:3675536
zbMath0562.68049MaRDI QIDQ3675536
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Concurrent histories: a basis for observing distributed systems, Petri nets, algebras, morphisms, and compositionality, Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP, Behavioral complexity indicators for process algebra: The NKS approach, Sequential and concurrent behaviour in Petri net theory, Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets, Modelling mutual exclusion in a process algebra with time-outs, Just testing, Nested-unit Petri nets, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra, A partial ordering semantics for CCS, Branching processes of Petri nets, On the implementation of concurrent calculi in net calculi: two case studies, Ensuring liveness properties of distributed systems: open problems, A trace semantics for Petri Nets, Finite Petri nets as models for recursive causal behaviour, The connection between an event structure semantics and an operational semantics for TCSP