Integrated Support Environment for Concurrent Process Calculi.

Sen Yoshida, Atsushi Togashi, Norio Shiratori

Browse the full PODC paper archive.