Motivated by the response pattern for property specifications and applications 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-time. We propose Transition Systems with Respon... https://yeswellneses.shop/product-category/butters/