Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications

Arnulf Mester, Heiko Krumm. Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications. In Hartmut König, Kurt Geihs, Thomas Preuß, editors, Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS 97, Cottbus, Germany, September 30 - October 2, 1997. Chapman & Hall, 1997.

Abstract

Abstract is missing.