Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism.

Pedro R. D'Argenio, Ral E. Monti

Browse the full ICTAC paper archive.