Authors: Carlos Miguel Angel Fernandez Leon Vidaller

Citation: Carlos Miguel et al., LOTOS extended with probabilistic behaviours, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 253-281