Jan Bækgaard Pedersen, Kevin Chalmers. Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 65-74, IEEE / ACM, 2019. [doi]
@inproceedings{PedersenC19,
title = {Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP},
author = {Jan Bækgaard Pedersen and Kevin Chalmers},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3338824},
researchr = {https://researchr.org/publication/PedersenC19},
cites = {0},
citedby = {0},
pages = {65-74},
booktitle = {Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019},
editor = {Stefania Gnesi and Nico Plat and Nancy A. Day and Matteo Rossi},
publisher = {IEEE / ACM},
}