Interface-Based Protocol Specification of Open Systems using PSL.

Doug Lea, Jos Marlowe

Browse the full ECOOP paper archive.