( en | de | ru )

 

Disambiguation of "Kurki-Suonio, Reino"

Author of the publication

copydeleteadd this publication to your clipboard
Superposition and fairness in reactive system refinement.

, and . Jerusalem Conference on Information Technology, page 162-172. IEEE Computer Society, (1990)

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)Real Time: Further Misconceptions or Half-Truths.. RTS, page 2-7. IEEE, (1993)An Exercise on Formal Definition of a Simple Data Retrieval System. report, A7. Department of Comp. Sc., University of Tampere, (August 1974)Abstractions of Distributed Cooperation, their Refinement and Implementation., and . PDSE, page 94-102. IEEE Computer Society, (1998)DisCo specification language: marriage of actions and objects., and . ICDCS, page 142-151. IEEE Computer Society, (1991)Modeling of distributed real-time systems in DisCo., and . RTS, page 136-141. IEEE, (1992)Formal description of input data.. IFIP Congress (1), page 444-447. (1968)Liberating Object-Oriented Modeling from Programming-Level Abstractions., and . ECOOP Workshops, volume 1357 of Lecture Notes in Computer Science, page 195-199. Springer, (1997)Scheduling in Real-Time Models., , and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 327-339. Springer, (1992)Decentralization of Process Nets with Centralized Control., and . Distributed Comput., 3 (2): 73-87 (1989)