Publication:3750114
From MaRDI portal
zbMath0609.68021MaRDI QIDQ3750114
Publication date: 1985
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
Deciding observational congruence of finite-state CCS expressions by rewriting, Refinement of actions in event structures and causal trees, Nets, sequential components and concurrency relations, A\(^ 2\)CCS: Atomic actions for CCS, A partial ordering semantics for CCS, A rewriting strategy to verify observational congruence, Petri nets are monoids, Algebra of communicating processes with abstraction, Concurrent and maximally concurrent evolution of nonsequential systems, A context dependent equivalence between processes, Concurrent histories: a basis for observing distributed systems, A distributed operational semantics of CCS based on condition/event systems, Equational properties of iteration in algebraically complete categories, Control machines: A new model of parallelism for compositional specifications and their effective compilation, The connection between an event structure semantics and an operational semantics for TCSP, Linear time and branching time semantics for recursion with merge, 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