Realizability of Collaboration-based Service Specifications.

Humberto Nicols Castejn Martnez, Rolv Brk, Gregor von Bochmann

Browse the full APSEC paper archive.