СТ |
Using State Diagrams to Desrcribe Concurrent Behaviour |
2003 |
Davies J., Crichton C. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
СТ |
Refinement in Object-Z and CSP |
2002 |
Bolton C., Davies J. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
СТ |
On the Refinement and Simulation of Data Types and Processes |
1900 |
Bolton Ch., Davies J., Woodcock J. |
|
|
|
IFM 99 |
31.01.2001 |
СТ |
Activity Graphs and Processes |
2000 |
Bolton C., Davies J. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
СТ |
Towards a denotational semantics for ET-LOTOS |
1995 |
Bryans J., Davies J., Schneider S. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
СТ |
Using CSP to Verify a Timed Protocol over a Fair Medium |
1992 |
Davies J., Schneider S. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |