No Cover Image

Journal article 340 views 32 downloads

Trace and Stable Failures Semantics for CSP-Agda / Anton, Setzer

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

Swansea University Author: Anton, Setzer

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