Adding action refinement to a finite process algebra

DOI10.1006/inco.1994.1096zbMath0834.68077OpenAlexW2095504289MaRDI QIDQ1342519

Luca Aceto, Matthew C. B. Hennessy

Publication date: 16 February 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/19ed303cce00b0dd4936214db1dfb661333bb560

zbMATH Keywords

process algebra

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65)

Related Items

A semantic characterization for faults in replicated systems, A format for semantic equivalence comparison, Towards refinable choreographies, Concurrent testing of processes, The difference between splitting in \(n\) and \(n+1\), Revisiting sequential composition in process calculi, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra, Action refinement and property inheritance in systems of sequential agents, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Action Refinement in Process Algebra and Security Issues, Vertical implementation, The theory of interactive generalized semi-Markov processes, Stepwise development of process-algebraic specifications in decorated trace semantics