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
https://portal.mardi4nfdi.de/entity/Q3795196	1988-01-01	Paper
Distributed cooperation with action systems	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Reino Kurki-Suonio