Refinement for Transition Systems with Responses
Motivated by the response pattern for property specifications and applications Nail Bits within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted as must eventually, and in which implementations can contain may behaviors that are resolved at run-