Models for CSP with availability information
Gavin Lowe
Book Title
Proceedings of 17th International Workshop on Expressiveness in Concurrency
Year
2010
Gavin Lowe