Models and Theory of Distributed SystemsSeidler
Henning SeidlerE-Mail: henning.seidler <AT> campus.tu-berlin.de
