A Concurrent, Specification Language over CML.

Mourad Debbabi

Browse the full PDPTA paper archive.