Journal article 1324 views 138 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:
Anton Setzer
-
PDF | Accepted Manuscript
This work is licensed under the Creative Commons Attribution License.
Download (329.96KB)
DOI (Published version): 10.4204/EPTCS.258.3
Abstract
Trace and Stable Failures Semantics for CSP-Agda
| 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 |