DMCA
Process algebra for synchronous communication (1984)
by
J. A. Bergstra
,
J. W. Klop
Venue: | Inform. and Control |
Citations: | 426 - 68 self |