A Prover for Parallel Processes.

Masahiro Hirata, Toshio Nishimura

Browse the full IJCAI paper archive.