On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction.

Andrs Faras, Mario Sdholt

Browse the full CoopIS paper archive.