scientific article; zbMATH DE number 3995041
From MaRDI portal
Publication:4721639
zbMath0614.68023MaRDI QIDQ4721639
Ilaria Castellani, Gérard Boudol
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sumsequential compositionparallel compositionalgebra of labelled event structurescalculi of processessequential non-determinism
Related Items (27)
Interleaving set temporal logic ⋮ Concurrent Kleene Algebra ⋮ Concurrent bisimulations in Petri nets ⋮ A distributed operational semantics of CCS based on condition/event systems ⋮ Deciding true concurrency equivalences on safe, finite nets ⋮ Contextual equivalences in configuration structures and reversibility ⋮ Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Modelling mutual exclusion in a process algebra with time-outs ⋮ On relating concurrency and nondeterminism ⋮ Event structure semantics for multiparty sessions ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Branching pomsets: design, expressiveness and applications to choreographies ⋮ Reasoning about promises in weak memory models with event structures ⋮ Step semantics for ``true concurrency with recursion ⋮ Unnamed Item ⋮ Deciding true concurrency equivalences on finite safe nets (preliminary report) ⋮ Fairness and regularity for SCCS processes ⋮ Bisimulation and action refinement ⋮ Observing localities ⋮ Conflict vs causality in event structures ⋮ The poset of infinitary traces ⋮ On Weighted Petri Net Transducers ⋮ Concurrent Kleene algebra and its foundations ⋮ A completed hierarchy of true concurrent equivalences ⋮ Axiomatizing the subsumption and subword preorders on finite and infinite partial words ⋮ The connection between an event structure semantics and an operational semantics for TCSP
This page was built for publication:
