СТ |
Transformations for Optimizing Interprocess Communication and Synchronization Mechanisms |
1990 |
Mcnamee C. M., Olsson R. A. |
|
|
|
Intern. J. Parallel Programming |
26.05.1995 |
СТ |
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL |
1994 |
Zhang C., Shaw R., Olsson R. A., Levitt K., Archer M., Heckman M. R., Benson G. D. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
СТ |
Exception Handling during Asynchronous Method Invocation |
2002 |
Keen A. W., Olsson R. A. |
|
|
|
Lecture Notes in Computer Science |
04.10.2002 |
СТ |
An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages |
2003 |
Keen A. W., Olsson R. A. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
СТ |
A Hierarchical Method for Reasoning about Distributed Programming Languages |
1995 |
Zhang C., Becker B. R., Heckman M. R., Levitt K., Olsson R. A. |
Lecture Notes in Computer Science |
|
|
Higher Order Logic Theorem Proving and Its Applications |
28.09.1995 |
СТ |
A Framework for Specializing Threads in Concurrent Run-Time Systems |
1998 |
Benson G. D., Olsson R. A. |
|
|
|
Lecture Notes in Computer Science |
20.11.1998 |
СТ |
A Comparison of Concurrent Programming and Cooperative Multithreading |
2000 |
Ishihara T., Li T., Fodor E. F., Olsson R. A. |
|
|
|
Lecture Notes in Computer Science |
17.11.2000 |