scientific article; zbMATH DE number 4119653

MaRDI QIDQ4733427zbMATH OpenFDO

Authors Rocco De Nicola, Ugo Montanari, Pierpaolo Degano

Publication date 1989

zbMATH Keywords

CCS (calculus of communicating systems)communicating processesconcurrencynondeterminismobservational equivalencessemantics of programming languages

Mathematics Subject Classification ID

Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• A partial ordering semantics for CCS
• scientific article; zbMATH DE number 3995041
• scientific article; zbMATH DE number 4182807
• scientific article; zbMATH DE number 938663
• scientific article; zbMATH DE number 3911691

Cited in

(41)

• Partial ordering models for concurrency can be defined operationally
• Causal automata
• Data structures for order-sensitive predicates in parallel nondeterministic systems
• Tile formats for located and mobile systems.
• Conflict vs causality in event structures
• A study on team bisimulation and H-team bisimulation for BPP nets
• Behavioural logics for configuration structures
• Team equivalences for finite-state machines with silent moves
• Team bisimilarity, and its associated modal logic, for BPP nets
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them
• History-preserving bisimilarity for higher-dimensional automata via open maps
• Characterising spectra of equivalences for event structures, logically
• Declarative event based models of concurrency and refinement in psi-calculi
• Conflict vs causality in event structures
• Ugo Montanari and Concurrency Theory
• scientific article; zbMATH DE number 3903950 (Why is no real title available?)
• scientific article; zbMATH DE number 3911691 (Why is no real title available?)
• scientific article; zbMATH DE number 1973974 (Why is no real title available?)
• On fixpoint logics and equivalences for processes with restricted nondeterminism
• Distribution and locality of concurrent systems
• scientific article; zbMATH DE number 3995041 (Why is no real title available?)
• scientific article; zbMATH DE number 4119606 (Why is no real title available?)
• scientific article; zbMATH DE number 938663 (Why is no real title available?)
• Minimal transition systems for history-preserving bisimulation
• Dynamic matrices and the cost analysis of concurrent programs
• Causal Semantics for BPP Nets with Silent Moves
• A parametric approach to localities
• Proved trees
• Theoretical Aspects of Computing - ICTAC 2004
• Axiomatising real-timed processes
• Models and logics for true concurrency.
• Distributed processes and location failures
• On relating concurrency and nondeterminism
• Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri 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
• Bisimulation and action refinement
• Universal axioms for bisimulations
• Refinement of actions in event structures and causal trees
• A partial ordering semantics for CCS

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 Q4733427)