Reino Kurki-Suonio

39 papers A* 5A 1C 2Journal 13Unranked 17
YearRankTypeTitle / Venue / Authors
2007 — conf
University Education on Computers - Summary of a Panel Discussion.
History of Nordic Computing
Reino Kurki-Suonio, Oddur Benediktsson, Janis A. Bubenko Jr., Ingemar Dahlstrand, Christian Gram, John Impagliazzo
2006 J jnl
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations.
LNCS Trans. Aspect Oriented Softw. Dev.
Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen
2005 — book
A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors
Reino Kurki-Suonio
2003 J jnl
Action systems in incremental and aspect-oriented modeling.
Distributed Comput.
Reino Kurki-Suonio
2003 — conf
Birth of Computer Science Education and Research in Finland.
History of Nordic Computing
Reino Kurki-Suonio
1999 — conf
Component and Interface Refinement in Closed-System Specifications.
World Congress on Formal Methods
Reino Kurki-Suonio
1998 — conf
Abstractions of Distributed Cooperation, their Refinement and Implementation.
PDSE
Reino Kurki-Suonio, Tommi Mikkonen
1998 C conf
Harnessing the Power of Interaction.
EJC
Reino Kurki-Suonio, Tommi Mikkonen
1998 C conf
Real Time in a TLA-Based Theory of Reactive Systems.
ISORC
Reino Kurki-Suonio, Mika Katara
1997 — conf
Liberating Object-Oriented Modeling from Programming-Level Abstractions.
ECOOP Workshops
Reino Kurki-Suonio, Tommi Mikkonen
1994 — conf
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem.
Formal Systems Specification
Reino Kurki-Suonio
1994 J jnl
Real Time: Further Misconceptions (or Half-Truths).
Computer
Reino Kurki-Suonio
1993 — conf
Real Time: Further Misconceptions or Half-Truths.
RTS
Reino Kurki-Suonio
1993 J jnl
Real-Time Specification and Modeling with Joint Actions.
Sci. Comput. Program.
Reino Kurki-Suonio, Kari Systä, Jüri Vain
1993 J jnl
Stepwise Design of Real-Time Systems.
IEEE Trans. Software Eng.
Reino Kurki-Suonio
1992 — conf
Hybrid Models with Fairness and Distributed Clocks.
Hybrid Systems
Reino Kurki-Suonio
1992 — conf
Modeling of distributed real-time systems in DisCo.
RTS
Kari Systä, Reino Kurki-Suonio
1992 J jnl
On Equivalence-Completions of Fairness Assumtions.
Formal Aspects Comput.
Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio
1992 J jnl
Operational Specification with Joint Actions: Serializable Databases.
Distributed Comput.
Reino Kurki-Suonio
1992 — conf
Scheduling in Real-Time Models.
FTRTFT
Reino Kurki-Suonio, Kari Systä, Jüri Vain
1991 A conf
DisCo specification language: marriage of actions and objects.
ICDCS
H.-M. Järvinen, Reino Kurki-Suonio
1991 — conf
Real-time specification and modeling with joint actions.
IWSSD
Reino Kurki-Suonio, Kari Systä, Jüri Vain
1991 — conf
Stepwise design of real-time systems.
SIGSOFT
Reino Kurki-Suonio
1990 A* conf
Object-Oriented Specification of Reactive Systems.
ICSE
H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä
1990 — conf
Superposition and fairness in reactive system refinement.
Jerusalem Conference on Information Technology
Ralph-Johan Back, Reino Kurki-Suonio
1990 J jnl
Towards languages that support program derivation, or control modularity considered harmful.
Acta Cybern.
Reino Kurki-Suonio
1989 — conf
Action system approach to the specification and design of distributed systems.
IWSSD
Reino Kurki-Suonio, H.-M. Järvinen
1989 J jnl
Decentralization of Process Nets with Centralized Control.
Distributed Comput.
Ralph-Johan Back, Reino Kurki-Suonio
1988 J jnl
Distributed Cooperation with Action Systems.
ACM Trans. Program. Lang. Syst.
Ralph-Johan Back, Reino Kurki-Suonio
1988 J jnl
On the Design of Reactive Systems.
BIT
Reino Kurki-Suonio, T. Kankaanpää
1988 A* conf
Serializability in Distributed Systems with Handshaking.
ICALP
Ralph-Johan Back, Reino Kurki-Suonio
1987 — conf
A new paradigm for the design of concurrent systems.
IRTAW
Ralph-Johan Back, Reino Kurki-Suonio
1986 A* conf
Towards Programming with Knowledge Expressions.
POPL
Reino Kurki-Suonio
1983 A* conf
Decentralization of Process Nets with Centralized Control.
PODC
Ralph-Johan Back, Reino Kurki-Suonio
1980 A* conf
A data abstraction language based on microprogramming.
MICRO
Reino Kurki-Suonio, Juha Heinänen
1978 — conf
Nondeterminism, parallelism and intermittent assertions.
Mathematical Studies of Information Processing
Reino Kurki-Suonio
1977 J jnl
On Computing the Transitive Closure of a Relation.
Acta Informatica
J. Eve, Reino Kurki-Suonio
1968 — conf
Formal description of input data.
IFIP Congress (1)
Reino Kurki-Suonio
1966 J jnl
On top-to-bottom recognition and left recursion.
Commun. ACM
Reino Kurki-Suonio