scientific article

zbMath0609.68021MaRDI QIDQ3750114

Arthur J. Milner

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicsemanticsobservational equivalenceCCS calculusconcurrent computations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (22)

Concurrent and maximally concurrent evolution of nonsequential systems ⋮ A context dependent equivalence between processes ⋮ Concurrent histories: a basis for observing distributed systems ⋮ Linear time and branching time semantics for recursion with merge ⋮ A distributed operational semantics of CCS based on condition/event systems ⋮ Equational properties of iteration in algebraically complete categories ⋮ An algebraic view of interleaving and distributed operational semantics for CCS ⋮ A process algebra of communicating shared resources with dense time and priorities ⋮ The equational logic of fixed points ⋮ Notes on the methodology of CCS and CSP ⋮ Process algebra with propositional signals ⋮ A\(^ 2\)CCS: Atomic actions for CCS ⋮ A partial ordering semantics for CCS ⋮ A rewriting strategy to verify observational congruence ⋮ Petri nets are monoids ⋮ Control machines: A new model of parallelism for compositional specifications and their effective compilation ⋮ Deciding observational congruence of finite-state CCS expressions by rewriting ⋮ Refinement of actions in event structures and causal trees ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Nets, sequential components and concurrency relations ⋮ Algebra of communicating processes with abstraction ⋮ The connection between an event structure semantics and an operational semantics for TCSP

This page was built for publication: