No Cover Image

Book chapter 540 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.

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

URI: https://cronfa.swan.ac.uk/Record/cronfa1729
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 158