|
СТ |
Towards an Algebraic Theory of Typed Mobile Processes |
2004 |
Deng Y., Sangiorgi D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.10.2004 |
|
СТ |
Types, or: Where s the Difference between CCS and pi? |
2002 |
Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
04.09.2002 |
|
СТ |
Reasoning About Concurrent Systems Using Types |
1999 |
Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
A Pi-Calculus Process Semantics of Concurrent Idealised ALGOL |
1999 |
Rockl C., Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
A Fully Abstract Semantics for Causality in the Pi-calculus |
1998 |
Boreale M., Sangiorgi D. |
|
|
|
Acta Informatica |
30.05.1998 |
|
П |
Pi-Calculus, Internal Mobility, and Agent-Passing Calculi |
1995 |
Sangiorgi D. |
|
|
INRIA |
Lecture Notes in Computer Science |
06.12.1997 |
|
СТ |
A Theory of Bisimulation for the -calculus |
1996 |
Sangiorgi D. |
|
|
|
Acta Informatica |
07.03.1996 |
|
СТ |
On the Proof Method for Bisimulation (extended abstract) |
1995 |
Sangiorgi D. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
24.10.1995 |
|
СТ |
Internal mobility and agent-passing calculi |
1995 |
Sangiorgi D. |
Lecture Notes in Computer Science |
|
|
Automata, Languages and Programming |
10.09.1995 |
|
СТ |
I: A Symmetric Calculus Based on Internal Mobility |
1995 |
Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
|
СТ |
A Fully Abstract Semantics for Causality in the -calculus |
1995 |
Boreale M., Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
Algebraic Theories for Name-Passing Calculi |
1994 |
Parrow J., Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Locality and True-concurrency in Calculi for Mobile Processes |
1994 |
Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
A Theory of Bisimulation for the pi-Calculus |
1993 |
Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
From -calculus to Higher-Order -calculus and back |
1993 |
Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
СТ |
The Problem of "weak bisimulation up to" |
1992 |
Sangiorgi D., Milner R. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
