According to our database1, Reino Kurki-Suonio authored at least 33 papers between 1968 and 2007.
Legend:Book In proceedings Article PhD thesis Other
University Education on Computers - Summary of a Panel Discussion.
Proceedings of the History of Nordic Computing 2 - Second IFIP WG 9.7 Conference, 2007
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations.
A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-27348-6, 2005
Action systems in incremental and aspect-oriented modeling.
Distributed Computing, 2003
Birth of Computer Science Education and Research in Finland.
Proceedings of the History of Nordic Computing, 2003
Component and Interface Refinement in Closed-System Specifications.
Proceedings of the FM'99 - Formal Methods, 1999
Abstractions of Distributed Cooperation, their Refinement and Implementation.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
Real Time in a TLA-Based Theory of Reactive Systems.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
Harnessing the Power of Interaction.
Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998
Liberating Object-Oriented Modeling from Programming-Level Abstractions.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997
Real Time: Further Misconceptions (or Half-Truths).
IEEE Computer, 1994
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem.
Proceedings of the Formal Systems Specification, 1994
Stepwise Design of Real-Time Systems.
IEEE Trans. Software Eng., 1993
Real-Time Specification and Modeling with Joint Actions.
Sci. Comput. Program., 1993
Real Time: Further Misconceptions or Half-Truths.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993
On Equivalence-Completions of Fairness Assumtions.
Formal Asp. Comput., 1992
Operational Specification with Joint Actions: Serializable Databases.
Distributed Computing, 1992
Hybrid Models with Fairness and Distributed Clocks.
Proceedings of the Hybrid Systems, 1992
Scheduling in Real-Time Models.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992
Modeling of distributed real-time systems in DisCo.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992
DisCo specification language: marriage of actions and objects.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991
Towards languages that support program derivation, or control modularity considered harmful.
Acta Cybern., 1990
Superposition and fairness in reactive system refinement.
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.
Proceedings of the 12th International Conference on Software Engineering, 1990
Distributed Cooperation with Action Systems.
ACM Trans. Program. Lang. Syst., 1988
On the Design of Reactive Systems.
Serializability in Distributed Systems with Handshaking.
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
Towards Programming with Knowledge Expressions.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986
Decentralization of Process Nets with Centralized Control.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983
A data abstraction language based on microprogramming.
Proceedings of the 13th annual workshop on Microprogramming, 1980
Nondeterminism, parallelism and intermittent assertions.
Proceedings of the Mathematical Studies of Information Processing, 1978
On Computing the Transitive Closure of a Relation.
Acta Inf., 1977
Formal description of input data.
IFIP Congress (1), 1968