Buffered Communication Analysis in Distributed Multiparty Sessions.

Pierre-Malo Denilou, Nobuko Yoshida

Browse the full CONCUR paper archive.