Marly Roncken, Rob Gerth, Willem P. de Roever. A Proof System for Brinch Hansen s Distributed Processes. In Wilfried Brauer, editor, GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings. Volume 50 of Informatik-Fachberichte, pages 88-95, Springer, 1981.
Abstract is missing.