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

by J A Bergstra, J W Klop, E R Olderog
Venue:In IFIP’87, Formal Description of Programming Concepts III