Journal article 1799 views 196 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 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
36 |
| End Page: |
51 |