Action refinement applied to late decisions

DOI10.1007/S00165-006-0088-YzbMath1103.68651OpenAlexW1999574045MaRDI QIDQ2432235

Harald Fecher, Mila E. Majster-Cederbaum

Publication date: 25 October 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-006-0088-y

zbMATH Keywords

equivalencetrue concurrencyaction refinementcoarsest congruenceevent structure

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Action refinement applied to late decisions