Reino Kurki-Suonio, H.-M. Järvinen. Action system approach to the specification and design of distributed systems. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 34-40, ACM, 1989. [doi]
Abstract is missing.