DMCA

Completeness in Discrete-Time Process Algebra (1995)

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