Failures without chaos: a new process semantics for fair abstraction

Jan A. Bergstra, Jan Willem Klop, Ernst-RĂ¼diger Olderog. Failures without chaos: a new process semantics for fair abstraction. In Martin Wirsing, editor, Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986. pages 77-104, North-Holland, 1987.

Abstract

Abstract is missing.