( en | de | ru )

 

Disambiguation of "Kurki-Suonio, Reino"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Better Strutured Definitions of Programming Languages

. report, STAN-CS-75-300. Comp. Sc. Department, Stanford University, (September 1975)

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. You can also use the button next to the name to display some publications already assigned to the person.

Reino Larsen

Reino Buchmüller

Tetiana Kurkina

Wilhelm Reinosch

Marigret Reinold

 

Other publications of authors with the same name

University Education on Computers - Summary of a Panel Discussion., , , , , and . History of Nordic Computing, volume 303 of IFIP Advances in Information and Communication Technology, page 310-321. Springer, (2007)An Exercise on Formal Definition of a Simple Data Retrieval System. report, A7. Department of Comp. Sc., University of Tampere, (August 1974)Real Time: Further Misconceptions or Half-Truths.. RTS, page 2-7. IEEE, (1993)DisCo specification language: marriage of actions and objects., and . ICDCS, page 142-151. IEEE Computer Society, (1991)Abstractions of Distributed Cooperation, their Refinement and Implementation., and . PDSE, page 94-102. IEEE Computer Society, (1998)Stepwise Design of Real-Time Systems.. IEEE Trans. Software Eng., 19 (1): 56-69 (1993)Action systems in incremental and aspect-oriented modeling.. Distributed Comput., 16 (2-3): 201-217 (2003)Hybrid Models with Fairness and Distributed Clocks.. Hybrid Systems, volume 736 of Lecture Notes in Computer Science, page 103-120. Springer, (1992)A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors. Texts in Theoretical Computer Science. An EATCS Series Springer, (2005)Distributed Cooperation with Action Systems., and . ACM Trans. Program. Lang. Syst., 10 (4): 513-554 (1988)