Discrete time process algebra (1992)

by C Laborde
Venue:in Cleaveland [68