Reino Kurki-Suonio

According to our database1, Reino Kurki-Suonio
  • authored at least 34 papers between 1968 and 2007.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2007
University Education on Computers - Summary of a Panel Discussion.
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.
, 2006

2005
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

2003
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

1999
Component and Interface Refinement in Closed-System Specifications.
Proceedings of the FM'99 - Formal Methods, 1999

1998
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

1997
Liberating Object-Oriented Modeling from Programming-Level Abstractions.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1994
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

1993
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

1992
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

1991
DisCo specification language: marriage of actions and objects.
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.
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

1989
Decentralization of Process Nets with Centralized Control.
Distributed Computing, 1989

1988
Distributed Cooperation with Action Systems.
ACM Trans. Program. Lang. Syst., 1988

On the Design of Reactive Systems.
BIT, 1988

Serializability in Distributed Systems with Handshaking.
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

1986
Towards Programming with Knowledge Expressions.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1983
Decentralization of Process Nets with Centralized Control.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

1980
A data abstraction language based on microprogramming.
Proceedings of the 13th annual workshop on Microprogramming, 1980

1978
Nondeterminism, parallelism and intermittent assertions.
Proceedings of the Mathematical Studies of Information Processing, 1978

1977
On Computing the Transitive Closure of a Relation.
Acta Inf., 1977

1968
Formal description of input data.
IFIP Congress (1), 1968


  Loading...