Book chapter 1197 views
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Yoshinao Isobe,
Markus Roggenbach 
CONCUR 2006 – Concurrency Theory, Volume: 4137, Start page: 158
Swansea University Author:
Markus Roggenbach
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/11817949_11
Abstract
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
| Published in: | CONCUR 2006 – Concurrency Theory |
|---|---|
| ISSN: | 0302-9743 1611-3349 |
| Published: |
2006
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa1729 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
158 |