Discrete Time Process Algebra with Silent Step (2000)

Cached

Download Links

by J.C.M. Baeten , J.A. Bergstra , M.A. Reniers
Citations:16 - 7 self