|
СТ |
Logical Semantics for the First Order c-Calculus |
2003 |
Van Bakel S., De Liguoro U. |
|
|
|
Lecture Notes in Computer Science |
20.11.2003 |
|
СТ |
May and Must Convergency in Concurrent -calculus |
1994 |
Alessi F., Dezani-Ciancaglini M., De Liguoro U. |
|
|
|
Lecture Notes in Computer Science |
29.09.1994 |
|
СТ |
Fully Abstract Semantics for Concurrent -calculus |
1994 |
Dezani-Ciancaglini M., De Liguoro U., Piperno A. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
|
СТ |
Filter Models for a Parallel and Non Deterministic -Calculus |
1993 |
Dezani-Ciancaglini M., De Liguoro U., Piperno A. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
