DMCA

Completeness in discrete-time process algebra (1996)

by Michel A. Reniers , Jan Joris Vereijken
Citations:4 - 2 self