A process logic for distributed system synthesis .

Yoshinao Isobe, Kazuhito Ohmaki

Browse the full APSEC paper archive.