|
СТ |
Automatized Verification of Ad Hoc Routing Protocols |
2004 |
Wibling O., Parrow J., Pears A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
Solo Diagrams |
2001 |
Laneve C., Parrow J., Victor B. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
The Update Calculus |
1997 |
Parrow J., Victor B. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Interaction Diagrams |
1994 |
Parrow J. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Algebraic Theories for Name-Passing Calculi |
1994 |
Parrow J., Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
The Concurrency Workbench: A Semantic-Based Tool for the Verification of Concurrent Systems |
1993 |
Cleavleand R., Parrow J., Steffen B. |
|
|
|
ACM Trans. Programming Languages and Systems |
16.03.1993 |
|
СТ |
Multiway Synchronization Verified with Coupled Simulation |
1992 |
Parrow J., Sjodin P. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
