Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation.

Martin Vassor, Nobuko Yoshida

Browse the full ECOOP paper archive.