Comparing syntactic and semantic action refinement
From MaRDI portal
Publication:1917085
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
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