|
СТ |
A Virtual Machine for a Process Calculus |
1999 |
Lopes L., Silva F., Vasconcelos V. T. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Language Primitives and Type Discipline for Structured Communication-Based Programming |
1998 |
Honda K., Vasconcelos V. T., Kubo M. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Predicative Polymorphism in -Calculus |
1994 |
Vasconcelos V. T. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
|
СТ |
A Typing System for a Calculus of Objects |
1993 |
Vasconcelos V. T., Tokoro M. |
|
|
|
Lecture Notes in Computer Science |
23.11.1993 |
|
СТ |
Principal Typing Schemes in a Polyadic pi-Calculus |
1993 |
Vasconcelos V. T., Honda K. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
