|
СТ |
Foundations of Web Transactions |
2005 |
Laneve C., Zavattaro G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.07.2005 |
|
СТ |
A Calculus for Long-Running Transactions |
2003 |
Bocchi L., Laneve C., Zavattaro G. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Solo Diagrams |
2001 |
Laneve C., Parrow J., Victor B. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
Comparing -calculus Translations in Sharing Graphs |
1995 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
|
СТ |
Interaction Systems |
1994 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
|
СТ |
The Family Relation in Interaction Systems |
1994 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
Paths, Computations and Labels in the -calculus |
1993 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
09.07.1993 |
|
СТ |
Optimal Reductions in Interaction Systems |
1993 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
СТ |
Mobility in the cc-Paradigm |
1992 |
Laneve C., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
