scientific article; zbMATH DE number 4119653
From MaRDI portal
Publication:4733427
zbMath0683.68067MaRDI QIDQ4733427
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrencynondeterminismobservational equivalencessemantics of programming languagescommunicating processesCCS (calculus of communicating systems)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items (28)
History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ Behavioural logics for configuration structures ⋮ Declarative event based models of concurrency and refinement in psi-calculi ⋮ Axiomatising real-timed processes ⋮ Minimal transition systems for history-preserving bisimulation ⋮ Dynamic matrices and the cost analysis of concurrent programs ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Ugo Montanari and Concurrency Theory ⋮ Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets ⋮ Unnamed Item ⋮ Team equivalences for finite-state machines with silent moves ⋮ Distribution and locality of concurrent systems ⋮ Team bisimilarity, and its associated modal logic, for BPP nets ⋮ Location equivalence in a parametric setting ⋮ On the implementation of concurrent calculi in net calculi: two case studies ⋮ A theory of processes with durational actions ⋮ Causal automata ⋮ Bisimulation and action refinement ⋮ Universal axioms for bisimulations ⋮ Conflict vs causality in event structures ⋮ Refinement of actions in event structures and causal trees ⋮ Causal Semantics for BPP Nets with Silent Moves ⋮ Models and logics for true concurrency. ⋮ Distributed processes and location failures ⋮ A parametric approach to localities ⋮ Proved trees ⋮ A study on team bisimulation and H-team bisimulation for BPP nets ⋮ Tile formats for located and mobile systems.
This page was built for publication:
