Kurki-Suonio and Jarvinen (1989)

Kurki-Suonio R. and Jarvinen H.M. (1989)

Action system approach to the specification and design of distributed systems

In Proc. 5th Int. Workshop on Software Specification and Design, ACM Software Engineering Notes 14(3), pp. 34-40