Modelling Concurrent Processes (1985)

by R P Kurshan
Venue:Proc. of S~rnposia in Applied \1.ithemaucs