Reino Kurki-Suonio

Available identifiers

zbMath Open kurki-suonio.reinoMaRDI QIDQ685610

List of research outcomes

Publication	Date of Publication	Type
Action systems in incremental and aspect-oriented modeling	2020-12-04	Paper
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations	2009-06-26	Paper
A practical theory of reactive systems. Incremental modeling of dynamic behaviors.	2005-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4493876	1999-01-01	Paper
Real-time specification and modeling with joint actions	1993-10-17	Paper
On equivalence-completions of fairness assumptions	1993-04-01	Paper
Operational specification with joint actions: Serializable databases	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3485854	1990-01-01	Paper
Distributed cooperation with action systems	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795196	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190103	1979-01-01	Paper
On computing the transitive closure of a relation	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5681502	1971-01-01	Paper
Notes on top-down languages	1969-01-01	Paper
On top-to-bottom recognition and left recursion	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5731288	1964-01-01	Paper

Research outcomes over time

This page was built for person: Reino Kurki-Suonio