scientific article; zbMATH DE number 4119615
From MaRDI portal
Publication:4733397
zbMath0683.68029MaRDI QIDQ4733397
Gérard Boudol, Ilaria Castellani
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) 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 (36)
When is partial trace equivalence adequate? ⋮ Well-behaved flow event structures for parallel composition and action refinement ⋮ Concurrent testing of processes ⋮ Reduction of event structures under history preserving bisimulation ⋮ ST-structures ⋮ Models for name-passing processes: Interleaving and causal ⋮ An algebraic view of interleaving and distributed operational semantics for CCS ⋮ Parallel product of event structures ⋮ Reversibility and asymmetric conflict in event structures ⋮ Towards a categorical representation of reversible event structures ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Unnamed Item ⋮ Trapping mutual exclusion in the box calculus ⋮ An event structure semantics for general Petri nets ⋮ On the implementation of concurrent calculi in net calculi: two case studies ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Observing localities ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Conflict vs causality in event structures ⋮ The poset of infinitary traces ⋮ Static versus dynamic reversibility in CCS ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ Event structure semantics of (controlled) reversible CCS ⋮ A calculus of branching processes ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Algebra and theory of order-deterministic pomsets ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices ⋮ Minimisation of event structures ⋮ Contextual Petri nets, asymmetric event structures, and processes ⋮ Self-assembling Trees ⋮ A note on causal trees and their applications to CCS ⋮ The connection between an event structure semantics and an operational semantics for TCSP
This page was built for publication:
