A causal operational semantics of action refinement

DOI10.1006/INCO.1995.1142zbMath0834.68068OpenAlexW2061743024MaRDI QIDQ1900316

Pierpaolo Degano, Roberto Gorrieri

Publication date: 30 October 1995

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

Full work available at URL: https://doi.org/10.1006/inco.1995.1142

zbMATH Keywords

denotational semanticsconcurrent language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice ⋮ Action Refinement in Process Algebra and Security Issues ⋮ Vertical implementation

This page was built for publication: A causal operational semantics of action refinement