H.-M. Järvinen

According to our database, H.-M. Järvinen authored at least 3 papers between 1989 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

DisCo specification language: marriage of actions and objects.

H.-M. Järvinen, Reino Kurki-Suonio

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990

Object-Oriented Specification of Reactive Systems.

H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

Action system approach to the specification and design of distributed systems.

Reino Kurki-Suonio, H.-M. Järvinen

Proceedings of the 5th International Workshop on Software Specification and Design, 1989