No Cover Image

Journal article 637 views 85 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

URI: https://cronfa.swan.ac.uk/Record/cronfa33725
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 36
End Page: 51