Completeness in Discrete-Time Process Algebra (1995)

by Michel Reniers , Jan Joris Vereijken
Citations:5 - 3 self