About time nondeterminism and exception handling in a temporal extension of LOTOS.
['Jean-Pierre Courtiat', 'Roberto C. de Oliveira']
About time nondeterminism and exception handling in a temporal extension of LOTOS.