Diyaa-Addein Atiya, Steve King. Extending Ravenscar with CSP Channels. In Tullio Vardanega, Andy J. Wellings, editors, Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Volume 3555 of Lecture Notes in Computer Science, pages 79-90, Springer, 2005. [doi]
@inproceedings{AtiyaK05, title = {Extending Ravenscar with CSP Channels}, author = {Diyaa-Addein Atiya and Steve King}, year = {2005}, doi = {10.1007/11499909_7}, url = {http://dx.doi.org/10.1007/11499909_7}, researchr = {https://researchr.org/publication/AtiyaK05}, cites = {0}, citedby = {0}, pages = {79-90}, booktitle = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings}, editor = {Tullio Vardanega and Andy J. Wellings}, volume = {3555}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26286-5}, }