Dynamic consistency in process algebra: From Paradigm to ACP (0)

by S Andova, L P J Groenewegen, E P de Vink
Venue:Science of Computer Programming