|
СТ |
Behavioral and Spatial Observations in a Logic for the pi-Calculus |
2004 |
Caires L. |
|
|
|
Lecture Notes in Computer Science |
30.04.2004 |
|
СТ |
A Spatial Logic for Concurrency (Part II) |
2002 |
Caires L., Cardelli L. |
|
|
|
Lecture Notes in Computer Science |
04.09.2002 |
|
СТ |
A Spatial Logic for Concurrency (Part I) |
2001 |
Caires L., Cardelli L. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
A Basic Model of Typed Components |
2000 |
Seco J. C., Caires L. |
|
|
|
Lecture Notes in Computer Science |
20.07.2000 |
|
СТ |
Verifiable and Executable Logic Specifications of Concurrent Objects in L |
1998 |
Caires L., Monteiro L. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
A Language for the Logical Specification of Processes and Relations |
1996 |
Caires L. |
Lecture Notes in Computer Science |
|
|
Algebraic and Logic Programming |
05.11.1996 |
|
СТ |
SLWV - A Theorem Prover for Logic Programming |
1992 |
Pereira L. M., Caires L., Alferes J. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
