Reasoning about concurrent systems: a functional approach
S. Abramsky
Book Title
Distributed Systems
Editor
F. Chambers and D. Duce and G. Jones
Pages
307−319
Publisher
Academic Press
Year
1984
S. Abramsky