A Proof System for Brinch Hansen's Distributed Processes.

Marly Roncken, Rob Gerth, Willem P. de Roever

Browse the full GI paper archive.