Kurki-Suonio, Reino

name

• Kurki-Suonio, Reino

Authored works

• A practical theory of reactive systems : incremental modeling of dynamic behaviors
• A programmer's introduction to computability and formal languages
• Action system approach to the specification and design of distributed systems
• Ada-kieli ja ohjelmointikielten yleiset perusteet
• An exercise on formal definition of a simple data retrieval system
• An operational model for Ada tasking
• Analysis of variance
• Analýza rozptylu : vicefaktorové pokusy
• Experiments with a tree-search algorithm for a problem of optimal file ordering
• Johdatus ohjelmointiin
• Mark-sensing or port-a-punching Algol programs
• Motivation for research in dynamic microprogramming
• Notes on some tree-search algorithms
• Ohjelmoinnin loogis-lingvistisiä perusteita
• On paper tape input of record structured data
• On some sets of formal grammars
• On the design of reactive systems
• Operational specification with joint actions : serializable databases
• Opimme ohjelmointia : opettajan opas : 1, Tietojenkäsittelyn alkeet
• Some aspects of converting assembly language programs
• Specification of serializable databases by joint actions

Works contributed to

• A fair and efficient implementation of CSP with output guards
• An algorithm for the isomorphism problem of connected graphs without loops and folded egdes
• Co-operation in distributed systems using symmetric multi-process handshaking
• Decentralization of process nets with centralized control
• Distributed co-operation with action systems
• Efficient implementation of multi-process handshaking on broadcasting networks
• Machine and language design for dynamic microprogramming
• Multi-process handshaking on broadcasting networks
• The DisCo language
• The DisCo language and temporal logic of actions
• Tietojenkäsittelyopin opetusohjelmista PLATOssa

Works about Kurki-Suonio, Reino