|
СТ |
Pi-Congruences as CCS Equivalences |
1999 |
Quaglia P. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
The Weak Late Pi-calculus Semantics as Observation Equivalence |
1995 |
Ferrari G. -L., Montanari U., Quaglia P. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
A -calculus with Explicit Substitutions: the Late Semantics |
1994 |
Ferrari G., Montanari U., Quaglia P. |
|
|
|
Lecture Notes in Computer Science |
29.09.1994 |
|
СТ |
A Fully Parallel Calculus of Synchronizing Processes |
1993 |
Latella D., Quaglia P. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
