No Cover Image

Journal article 253 views 22 downloads

Trace and Stable Failures Semantics for CSP-Agda / Bashar Igried; Anton Setzer

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

Swansea University Author: Setzer, Anton

  • 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: College of Science
Start Page: 36
End Page: 51