- 13 -- 13 -
The joint action approach was developed together with Ralph Back. Research on its use as a basis for a practical specification language was carried out in project DisCo, which was part of the FINSOFT programme of the Technology Development Centre of Finland, and was supported by four industrial partners.
 Abadi, M., Lamport, L., The existence of refinement mappings. Research Report 29, Digital Systems Research Center, 1990. To appear in Theoretical Computer Science.
 Abadi, M., Lamport, L., Composing specifications. Research Report 66, Digital Systems Research Center, 1990.
 Alpern, B., Schneider, F.B., Defining liveness. Information Processing Letters 21, 4 (Oct. 1985), 181-185.
 Apt, K.R., Francez, N., Katz, S., Appraising fairness in distributed languages. Distributed Computing 2, (Aug. 1988), 226-241.
 Back, R.J.R., A calculus of refinements for program derivations. Acta Informatica 25, (1988), 593-624.
 Back, R.J.R., Refinement calculus II: parallel and reactive programs. In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, LNCS 430, Springer-Verlag 1990, 67-93.
 Back, R.J.R., Kurki-Suonio, R., Decentralization of process nets with a centralized control. Distributed Computing 3 (1989), 73-87. An earlier version in Proc. 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Canada, Aug. 1983, 131-142.
 Back, R.J.R., Kurki-Suonio, R., Serializability in distributed systems with handshaking. In Automata, Languages and Programming (Ed. T. Lepist? and A. Salomaa), LNCS 317, Springer-Verlag 1988, 52-66.
 Back, R.J.R., Kurki-Suonio, R., Distributed cooperation with action systems. ACM Trans. Programming Languages and Systems 10, 4 (Oct. 1988), 513-554.
 Hooman, J., Widom, J., A temporal-logic based compositional proof system for real-time message passing. In PARLE '89 Parallel Architectures and Languages Europe, Vol II (Ed. E. Odijk, M. Rem and J.-C. Syre), LNCS 366, Springer-Verlag 1989, 424-441.
 J?rvinen, H.-M., Kurki-Suonio, R., DisCo specification language: marriage of actions and objects. Proc. 11th International Conference on Distributed Computing Systems, Arlington, Texas, May 1991, IEEE Computer Society Press, 142-151.
 J?rvinen, H.-M., Kurki-Suonio, R., Sakkinen, M., Syst?, K., Object-oriented specification of reactive systems. Proc. 12th International Conference on Software Engineering, Nice, France, March 1990, IEEE Computer Society Press, 63-71.
 Kurki-Suonio, R., Operational specification with joint actions: serializable databases. To appear in Distributed Computing.
 Kurki-Suonio, R., Modular modeling of temporal behaviors. To appear in Information Modelling and Knowledge Bases: Foundations, Theory, and Applications (Ed. S. Ohsuga, H. Kangassalo, H. Jaakkola, K. Hori, N. Yonezaki). IOS Press, Amsterdam, 1991.
 Kurki-Suonio, R., J?rvinen, H.-M., Action system approach to the specification and design of distributed systems. Proc. Fifth International Workshop on Software Specification and Design. ACM Software Engineering Notes 14, 3 (May 1989), 34-40.
 Lamport, L., A temporal logic of actions. Research Report 57, Digital Systems Research Center, 1990. A revised and extended version is in preparation.
 Liu, L.Y., Shyamasundar, R.K., Static analysis of real-time distributed systems. IEEE Trans. on Software Engineering 16, 4 (April 1990), 373-388.
 Pnueli, A., Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In Current Trends in Concurrency (Ed. J.W. de Bakker, W.-P. de Roever and G. Rozenberg), LNCS 224, Springer-Verlag 1986, 510-584.
 Reisig, W., Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. In Automata, Languages and Programming (Ed. J. Paredaens), LNCS 172, Springer-Verlag 1984, 403-413.
 Salwicki, A., M?ldner, T., On the Algorithmic Properties of Concurrent Programs. LNCS 125, SpringerVerlag 1981.
 Syst?, K., A graphical tool for specification of reactive systems. Proc. Euromicro '91 Workshop on RealTime Systems, Paris, France, June 1991, IEE Computer Society Press, 12-19.