9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 9 cited
Refinement for Transition Systems with Responses
Marco Carbone, Thomas Hildebrandt, Gian Perrone +1
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 trans…
cs.LO2011
A Few Considerations on Structural and Logical Composition in Specification Theories
Axel Legay, Andrzej Wąsowski
Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a l…