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

Arnulf Mester, Heiko Krumm

Browse the full DAIS paper archive.