Reino Kurki-Suonio

Decentralization of process nets with centralized control

R. J. R. Back, Reino Kurki-Suonio · 1983 · 279 citations

Computing, Computer Science, Systems Engineering +12

Decentralization of process nets with centralized control

R. J. R. Back, Reino Kurki-Suonio · Distributed Computing · 1989 · 125 citations

Computing, Computer Science, Systems Engineering +12

Object-oriented specification of reactive systems

Hannu-Matti Järvinen, Reino Kurki-Suonio, Markku Sakkinen et al. · International Conference on Software Engineering · 1990 · 87 citations

Computing, Computer Science, Computer Systems +17

On computing the transitive closure of a relation

J. Eve, Reino Kurki-Suonio · Acta Informatica · 1977 · 65 citations

Natural Sciences, Computer Science, Mathematics +9

DisCo specification language: marriage of actions and objects

Hannu-Matti Järvinen, Reino Kurki-Suonio · 2002 · 50 citations

Computing, Computer Science, Formal Methods +15