A deterministic trace semantics for communicating sequel processes.
Published: 1986
Language: eng
Number of pages: 69