No Cover Image

Journal article 1004 views 111 downloads

Trace and Stable Failures Semantics for CSP-Agda

Bashar Igried, Anton Setzer Orcid Logo

Electronic Proceedings in Theoretical Computer Science, Volume: 258, Pages: 36 - 51

Swansea University Author: Anton Setzer Orcid Logo

  • CoALP2016v2.pdf

    PDF | Accepted Manuscript

    This work is licensed under the Creative Commons Attribution License.

    Download (329.96KB)

Check full text

DOI (Published version): 10.4204/EPTCS.258.3

Published in: Electronic Proceedings in Theoretical Computer Science
ISSN: 2075-2180
Published: 2017
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 36
End Page: 51