scientific article
From MaRDI portal
Publication:3821598
zbMath0668.68069MaRDI QIDQ3821598
Roberto Gorrieri, Sergio Marchetti, Pierpaolo Degano
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsCSPconcurrencycausal dependenciescommunicating sequential processescondition/event systemC/E systems
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (9)
Asynchronous Traces and Open Petri Nets ⋮ Language Representability of Finite P/T Nets ⋮ Concurrent bisimulations in Petri nets ⋮ Partial ordering models for concurrency can be defined operationally ⋮ Ugo Montanari and Concurrency Theory ⋮ A partial ordering semantics for CCS ⋮ On the implementation of concurrent calculi in net calculi: two case studies ⋮ Step failures semantics and a complete proof system ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
This page was built for publication:
