Reino Kurki-Suonio

According to our database, Reino Kurki-Suonio authored at least 35 papers between 1966 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2007

University Education on Computers - Summary of a Panel Discussion.

Reino Kurki-Suonio, Oddur Benediktsson, Janis A. Bubenko Jr., Ingemar Dahlstrand, Christian Gram, John Impagliazzo

Proceedings of the History of Nordic Computing 2 - Second IFIP WG 9.7 Conference, 2007

2006

On Horizontal Specification Architectures and Their Aspect-Oriented Implementations.

Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen

LNCS Trans. Aspect Oriented Softw. Dev., 2006

2005

A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors

Reino Kurki-Suonio

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-27348-6, 2005

2003

Action systems in incremental and aspect-oriented modeling.

Reino Kurki-Suonio

Distributed Comput., 2003

Birth of Computer Science Education and Research in Finland.

Reino Kurki-Suonio

Proceedings of the History of Nordic Computing, 2003

1999

Component and Interface Refinement in Closed-System Specifications.

Reino Kurki-Suonio

Proceedings of the FM'99 - Formal Methods, 1999

1998

Abstractions of Distributed Cooperation, their Refinement and Implementation.

Reino Kurki-Suonio, Tommi Mikkonen

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Real Time in a TLA-Based Theory of Reactive Systems.

Reino Kurki-Suonio, Mika Katara

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Harnessing the Power of Interaction.

Reino Kurki-Suonio, Tommi Mikkonen

Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

1997

Liberating Object-Oriented Modeling from Programming-Level Abstractions.

Reino Kurki-Suonio, Tommi Mikkonen

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1994

Real Time: Further Misconceptions (or Half-Truths).

Reino Kurki-Suonio

Computer, 1994

Incremental Specification with Joint Actions: The RPC-Memory Specification Problem.

Reino Kurki-Suonio

Proceedings of the Formal Systems Specification, 1994

1993

Stepwise Design of Real-Time Systems.

Reino Kurki-Suonio

IEEE Trans. Software Eng., 1993

Real-Time Specification and Modeling with Joint Actions.

Reino Kurki-Suonio, Kari Systä, Jüri Vain

Sci. Comput. Program., 1993

1992

On Equivalence-Completions of Fairness Assumtions.

Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio

Formal Aspects Comput., 1992

Operational Specification with Joint Actions: Serializable Databases.

Reino Kurki-Suonio

Distributed Comput., 1992

Hybrid Models with Fairness and Distributed Clocks.

Reino Kurki-Suonio

Proceedings of the Hybrid Systems, 1992

Scheduling in Real-Time Models.

Reino Kurki-Suonio, Kari Systä, Jüri Vain

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Modeling of distributed real-time systems in DisCo.

Kari Systä, Reino Kurki-Suonio

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991

DisCo specification language: marriage of actions and objects.

H.-M. Järvinen, Reino Kurki-Suonio

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990

Towards languages that support program derivation, or control modularity considered harmful.

Reino Kurki-Suonio

Acta Cybern., 1990

Superposition and fairness in reactive system refinement.

Ralph-Johan Back, Reino Kurki-Suonio

Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

Object-Oriented Specification of Reactive Systems.

H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

Decentralization of Process Nets with Centralized Control.

Ralph-Johan Back, Reino Kurki-Suonio

Distributed Comput., 1989

Action system approach to the specification and design of distributed systems.

Reino Kurki-Suonio, H.-M. Järvinen

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988

Distributed Cooperation with Action Systems.

Ralph-Johan Back, Reino Kurki-Suonio

ACM Trans. Program. Lang. Syst., 1988

On the Design of Reactive Systems.

Reino Kurki-Suonio, T. Kankaanpää

BIT, 1988

Serializability in Distributed Systems with Handshaking.

Ralph-Johan Back, Reino Kurki-Suonio

Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

1987

A new paradigm for the design of concurrent systems.

Ralph-Johan Back, Reino Kurki-Suonio

Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

1986

Towards Programming with Knowledge Expressions.

Reino Kurki-Suonio

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1980

A data abstraction language based on microprogramming.

Reino Kurki-Suonio, Juha Heinänen

Proceedings of the 13th annual workshop on Microprogramming, 1980

1978

Nondeterminism, parallelism and intermittent assertions.

Reino Kurki-Suonio

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

On Computing the Transitive Closure of a Relation.

J. Eve, Reino Kurki-Suonio

Acta Informatica, 1977

1968

Formal description of input data.

Reino Kurki-Suonio

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1, 1968

1966

On top-to-bottom recognition and left recursion.

Reino Kurki-Suonio

Commun. ACM, 1966