|
СТ |
Compositional Verification of CCS Processes |
2000 |
Dam M., Gurov D. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Verifying a Distributed Database Lookup Manager Written in Erlang |
1999 |
Arts T., Dam M. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Toward Parametric Verification of Open Distributed Systems |
1998 |
Dam M., Fredlund L., Gurov D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
Compositional Proof Systems for Model Checking Infinite State Processes |
1995 |
Dam M. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
On the Decidability of Process Equivalences for the pi-calculus |
1995 |
Dam M. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Reasoning about Higher-Order Processes |
1995 |
Amadio R. M., Dam M. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
|
СТ |
Model Cheking Mobile Processes |
1993 |
Dam M. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Fixed Points of Buchi automata |
1992 |
Dam M. |
|
|
|
Lecture Notes in Computer Science |
26.12.1992 |
