|
СТ |
A Compositional Proof System for Asynchronously Communicating Processes |
1995 |
de Boer F. S., Van Hulst M. |
|
|
|
Lecture Notes in Computer Science |
30.03.2002 |
|
М |
Compositional Verification of Parallel Programs using Epistimic Logic and Abstract Assertional Languages |
1968 |
Van Hulst M. |
|
|
Univ. Utrecht |
|
30.12.1997 |
|
СТ |
A Proof System for Asynchronously Communicating Deterministic Processes |
1994 |
de Boer F. S., Van Hulst M. |
|
|
|
Lecture Notes in Computer Science |
29.09.1994 |
|
СТ |
Towards an Epistemic Approach to Reasoning about Concurrent Programs |
1993 |
Van Der Hoek W., Van Hulst M., Meyer J.-J. Ch. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
