Travelled to:1 × Finland
1 × USA
2 × France
Collaborated with:∅ R.Back H.Järvinen M.Sakkinen K.Systä
Talks about:system (3) specif (2) distribut (1) serializ (1) knowledg (1) interfac (1) handshak (1) reactiv (1) program (1) express (1)
Person: Reino Kurki-Suonio
DBLP: Kurki-Suonio:Reino
Contributed to:
1999
1990
1988
1986Wrote 4 papers:
- FM-v1-1999-Kurki-Suonio #component #interface #refinement #specification
- Component and Interface Refinement in Closed-System Specifications (RKS), pp. 134–154.
- ICSE-1990-JarvinenKSS #object-oriented #specification
- Object-Oriented Specification of Reactive Systems (HMJ, RKS, MS, KS), pp. 63–71.
- ICALP-1988-BackK #distributed
- Serializability in Distributed Systems with Handshaking (RJB, RKS), pp. 52–66.
- POPL-1986-Kurki-Suonio #programming #towards
- Towards Programming with Knowledge Expressions (RKS), pp. 140–149.