Bashar Igried, Anton Setzer. Defining Trace Semantics for CSP-Agda. In Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{IgriedS16-0,
title = {Defining Trace Semantics for CSP-Agda},
author = {Bashar Igried and Anton Setzer},
year = {2016},
doi = {10.4230/LIPIcs.TYPES.2016.12},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2016.12},
researchr = {https://researchr.org/publication/IgriedS16-0},
cites = {0},
citedby = {0},
booktitle = {22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia},
editor = {Silvia Ghilezan and Herman Geuvers and Jelena Ivetic},
volume = {97},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-065-1},
}