scientific article; zbMATH DE number 4119615

MaRDI QIDQ4733397zbMATH OpenFDO

Authors Gérard Boudol, Ilaria Castellani

Publication date 1989

zbMATH Keywords

process algebraevent structuresposet-labelled transition systems

Mathematics Subject Classification ID

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)

Recommendations

• A partial ordering semantics for CCS
• scientific article; zbMATH DE number 938663
• scientific article; zbMATH DE number 4035159
• A distributed operational semantics of CCS based on condition/event systems
• scientific article; zbMATH DE number 4074504

Cited in

(37)

• The poset of infinitary traces
• scientific article; zbMATH DE number 1497792 (Why is no real title available?)
• Event structures for the reversible early internal \(\pi\)-calculus
• Conflict vs causality in event structures
• Models for name-passing processes: Interleaving and causal
• ST-structures
• Conflict vs causality in event structures
• Reversible sessions with flexible choices
• Concurrent testing of processes
• Self-assembling trees
• Static versus dynamic reversibility in CCS
• Trapping mutual exclusion in the box calculus
• A calculus of branching processes
• Towards a categorical representation of reversible event structures
• A parametric framework for reversible \(\pi\)-calculi
• An event structure semantics for general Petri nets
• Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Reduction of event structures under history preserving bisimulation
• Well-behaved flow event structures for parallel composition and action refinement
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Reversibility and asymmetric conflict in event structures
• Global types and event structure semantics for asynchronous multiparty sessions
• The connection between an event structure semantics and an operational semantics for TCSP
• Concurrent reversible sessions
• scientific article; zbMATH DE number 7447776 (Why is no real title available?)
• When is partial trace equivalence adequate?
• Contextual Petri nets, asymmetric event structures, and processes
• Event structure semantics of (controlled) reversible CCS
• Parallel product of event structures
• A note on causal trees and their applications to CCS
• Conditional rewriting logic as a unified model of concurrency
• An algebraic view of interleaving and distributed operational semantics for CCS
• Minimisation of event structures
• Algebra and theory of order-deterministic pomsets
• On the implementation of concurrent calculi in net calculi: two case studies
• Observing localities

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733397)