scientific article
From MaRDI portal
Publication:3776645
zbMath0636.68072MaRDI QIDQ3776645
Publication date: 1987
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
A distributed operational semantics of CCS based on condition/event systems, Concurrency and atomicity, Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets, An algebraic view of interleaving and distributed operational semantics for CCS, Dynamic matrices and the cost analysis of concurrent programs, Unnamed Item, 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, Reactive bisimulation semantics for a process algebra with timeouts, Some behavioural aspects of net theory, A partial ordering semantics for CCS, Petri nets are monoids, Trapping mutual exclusion in the box calculus, Process versus unfolding semantics for Place/Transition Petri nets, An algebra for process creation, Unnamed Item, Models and logics for true concurrency., A uniform approach to true-concurrency and interleaving semantics for Petri nets, Zero-safe nets: Comparing the collective and individual token approaches., Finite Petri nets as models for recursive causal behaviour
