Skip to main content

Models for CSP with availability information

Gavin Lowe

Book Title
Proceedings of 17th International Workshop on Expressiveness in Concurrency
Year
2010