P-¢» : A process algebra for modeling prioritized stochastic timed systems

Domínguez, Martín Ariel

P-¢» : A process algebra for modeling prioritized stochastic timed systems - p. 1592-1602

DIF-M4065