No Cover Image

Book chapter 962 views

A Complete Axiomatic Semantics for the CSP Stable-Failures Model

Yoshinao Isobe, Markus Roggenbach Orcid Logo

CONCUR 2006 – Concurrency Theory, Volume: 4137, Start page: 158

Swansea University Author: Markus Roggenbach Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/11817949_11

Published in: CONCUR 2006 – Concurrency Theory
ISSN: 0302-9743 1611-3349
Published: 2006
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 158