"On the semantics of fair parallelism" "Proceedings of the Winter School on Formal Software Specification".
"On the semantics of fair parallelism" Proceedings of the Winter School on Formal Software Specification.