Comparing syntactic and semantic action refinement

DOI10.1006/inco.1996.0026zbMath0853.68129OpenAlexW2021768695MaRDI QIDQ1917085

Arend Rensink, Roberto Gorrieri, Goltz, Ursula

Publication date: 3 July 1996

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

Full work available at URL: https://research.utwente.nl/en/publications/comparing-syntactic-and-semantics-action-refinement(a3f7b5c7-de61-4e05-a3ec-1fdce876f895).html

zbMATH Keywords

syntactic substitution

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Towards the hierarchical verification of reactive systems, Revisiting sequential composition in process calculi, Event structure semantics for multiparty sessions, Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice, A framework for specifying and verifying the behaviour of open systems, Action Refinement in Process Algebra and Security Issues, Vertical implementation