Defining Trace Semantics for CSP-Agda

Date first appeared online	30/11/2018
DOI	10.4230/LIPIcs.TYPES.2016.12
Authors	Setzer A.
Journal Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	97

Documents

• basharIgriedAntonSetzerTypes2016Postproceedings.pdf , Book, Released under the terms of a Creative Commons License (CC-BY).