Action refinement applied to late decisions

DOI10.1007/S00165-006-0088-YzbMATH Open1103.68651OpenAlexW1999574045MaRDI QIDQ2432235FDOQ2432235

Authors: Harald Fecher, Mila 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

Recommendations

• Taking decisions late: end-based choice combined with action refinement
• Refinement of actions and equivalence notions for concurrent systems
• scientific article
• Bisimulation and action refinement
• Action refinement and equivalence notions for timed event structures

zbMATH Keywords

equivalenceaction refinementtrue concurrencycoarsest congruenceevent structure

Mathematics Subject Classification ID

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

Cited In (3)

• Refinement of actions and equivalence notions for concurrent systems
• Taking decisions late: end-based choice combined with action refinement
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2432235)