Вы здесь

Olsson R. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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