A process logic for distributed system synthesis .

Yoshinao Isobe Kazuhito Ohmaki A process logic for distributed system synthesis . 62-69 2000 conf/apsec/2000 APSEC http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150062abs.htm db/conf/apsec/apsec2000.html#IsobeO00