СТ |
Flexible Types for a Concurrent Model |
2001 |
Puntigam F. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
СТ |
Non-regular Process Types |
1999 |
Puntigam F. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
СТ |
Dynamic Type Information in Process Types |
1998 |
Puntigam F. |
|
|
|
Lecture Notes in Computer Science |
17.10.1998 |
СТ |
Coordination Requirements Expressed in Types for Active Objects |
1997 |
Puntigam F. |
|
|
|
Lecture Notes in Computer Science |
09.07.1997 |
СТ |
Communication and Transactions in Vienna Parallel Logic |
1994 |
Kuhn E., Puntigam F., Pohlai H. |
|
|
|
Computers and Artificial Intelligence |
15.12.1994 |
СТ |
Reliable Communication in VPL |
1992 |
Kuhn E., Puntigam F. |
|
|
|
Lecture Notes in Computer Science |
29.07.1992 |