Extending CSP with tests for availability
Gavin Lowe
Book Title
Procedings of Communicating Process Architectures (CPA 2009)
How Published
In Procedings of Communicating Process Architectures (CPA 2009)
Journal
Procedings of Communicating Process Architectures (CPA 2009)
Year
2009