Failures without chaos: a new process semantics for fair abstraction (1987)

by BKO87 J A Bergstra, J W Klop, E-R Olderog
Venue:Proc. of the 3th IFIP WG 2.2 working conference on Formal Description of Programming Concepts