Using CSP to Verify a Timed Protocol over a Fair Medium.

Conference presentation

Using CSP to Verify a Timed Protocol over a Fair Medium.

J Davies and S Schneider

CONCUR'92, Vol.LNCS 6, pp.355-369

3rd International Conference on Concurrency Theory

1992

DOI: https://doi.org/10.1007/BFb0084803

Abstract

Files and links (1)

url

http://dx.doi.org/10.1007/BFb0084803View

Metrics

Details

Title: Using CSP to Verify a Timed Protocol over a Fair Medium.
Creators: J Davies
S Schneider
Contributors: R Cleaveland
Springer (Publisher)
Publication Details: CONCUR'92, Vol.LNCS 6, pp.355-369
Conference: 3rd International Conference on Concurrency Theory
Publication Date: 1992
Identifiers: 99511006202346
Academic Unit: University of Surrey
Resource Type: Conference presentation