Formalization for the Agent Method by Using pi-Calculus.

Kazunori Iwata, Nobuhiro Ito, Naohiro Ishii

Browse the full PRICAI paper archive.