Reino Kurki-Suonio

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Action systems in incremental and aspect-oriented modeling Distributed Computing	2020-12-04	Paper
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations Lecture Notes in Computer Science	2009-06-26	Paper
A practical theory of reactive systems. Incremental modeling of dynamic behaviors. Texts in Theoretical Computer Science. An EATCS Series	2005-04-07	Paper
scientific article; zbMATH DE number 1487473 (Why is no real title available?)	1999-01-01	Paper
Real-time specification and modeling with joint actions Science of Computer Programming	1993-10-17	Paper
On equivalence-completions of fairness assumptions Formal Aspects of Computing	1993-04-01	Paper
Operational specification with joint actions: Serializable databases Distributed Computing	1992-09-27	Paper
scientific article; zbMATH DE number 4157861 (Why is no real title available?)	1990-01-01	Paper
Distributed cooperation with action systems ACM Transactions on Programming Languages and Systems	1988-01-01	Paper
scientific article; zbMATH DE number 4060693 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3628355 (Why is no real title available?)	1979-01-01	Paper
On computing the transitive closure of a relation Acta Informatica	1977-01-01	Paper
scientific article; zbMATH DE number 3418596 (Why is no real title available?)	1971-01-01	Paper
Notes on top-down languages BIT	1969-01-01	Paper
On top-to-bottom recognition and left recursion Communications of the ACM	1966-01-01	Paper
scientific article; zbMATH DE number 3194923 (Why is no real title available?)	1964-01-01	Paper

Research outcomes over time

This page was built for person: Reino Kurki-Suonio