Trace and Stable Failures Semantics for CSP-Agda

Date first appeared online	31/12/2017
DOI	10.4204/EPTCS.258.3
Authors	Setzer A.
Journal Name	Electronic Proceedings in Theoretical Computer Science
Volume	258

Documents

• CoALP2016v2.pdf , Book, This work is licensed under the Creative Commons Attribution License.