H.-M. Järvinen

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

H.-M. Järvinen, Reino Kurki-Suonio
DisCo specification language: marriage of actions and objects. ICDCS (1991)
H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä
Object-Oriented Specification of Reactive Systems. ICSE (1990)
Reino Kurki-Suonio, H.-M. Järvinen
Action system approach to the specification and design of distributed systems. IWSSD (1989)