|
СТ |
The Semantics of Propositional Contexts |
1994 |
Buvac S., Buvac V., Mason I. A. |
|
|
|
Lecture Notes in Artificial Intelligence |
16.11.1994 |
|
СТ |
Program Transformation via Contextual Assertions |
1994 |
Mason I. A., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
14.05.1994 |
|
СТ |
A Theory of Classes for a Functional Language with Effects |
1993 |
Honsell F., Mason I. A., Smith S., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
|
СТ |
Towards a Theory of Actor Computation |
1992 |
Agha G., Mason I. A., Smith S., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
