Using CSP to Verify a Timed Protocol over a Fair Medium
Main Authors: | Davies, J, Schneider, S |
---|---|
Format: | Conference item |
Published: |
1992
|
Similar Items
-
Developing and verifying protocols in CSP
by: Roscoe, A
Published: (1993) -
Using CSP to Verify Sequential Consistency
by: Lowe, G, et al.
Published: (1999) -
Using CSP to Verify Sequential Consistency
by: Lowe, G, et al.
Published: (1999) -
Modelling and verifying key−exchange protocols using CSP and FDR
by: Roscoe, A
Published: (1995) -
Real−time CSP
by: Davies, J, et al.
Published: (1994)