Skip to main content

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