( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An overview of the SR language and implementation

, , , , , , и . ACM Trans. Program. Lang. Syst., 10 (1): 51--86 (1988)
DOI: http://doi.acm.org/10.1145/42192.42324

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

°Asa Olsson

Ronald A Perren

Ronald A Fullerton

Urban Olsson

Ina Olsson

 

Другие публикации лиц с тем же именем

Towards Applying the Composition Principle to Verify a Microkernel Operating System., , , , , и . TPHOLs, том 1125 из Lecture Notes in Computer Science, стр. 235-250. Springer, (1996)Reverse Engineering of Design Patterns from Java Source Code., и . ASE, стр. 123-134. IEEE Computer Society, (2006)JR: Flexible Distributed Programming in an Extended Java., , , и . ICDCS, стр. 575-584. IEEE Computer Society, (2001)Additional transformations for multiple-level escape statements.. Softw. Test. Verification Reliab., 12 (2): 71-76 (2002)Observations on Building Distributed Languages and Systems., , , , и . Experiences with Distributed Systems, том 309 из Lecture Notes in Computer Science, стр. 271-291. Springer, (1987)Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL., , , , , , и . HUG, том 780 из Lecture Notes in Computer Science, стр. 29-42. Springer, (1993)Concurrent Language Support for Interoperable Applications., и . IPPS/SPDP Workshops, том 1586 из Lecture Notes in Computer Science, стр. 100-107. Springer, (1999)Dalek: A GNU, Improved Programmable Debugger., , и . USENIX Summer, стр. 221-232. USENIX Association, (1990)Static Inter-Module Analysis for Determining Processor Co-Residency., и . ICPP (2), стр. 200-207. CRC Press, (1992)Towards Microkernel Support for the SR Concurrent Programming Language., и . PDPTA, стр. 1513-1524. CSREA Press, (1996)