Home-Page of Martin Otto

http://www.mathematik.tu-darmstadt.de/~otto/index.html

Keine Beschreibung vorhanden.

CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR ... - Google Books

https://books.google.de/books?id=Af2qCAAAQBAJ&pg=PP1

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The…

http://www.ti.inf.uni-due.de/publications/author-koenig.shtml

Keine Beschreibung vorhanden.

Rudiments of Calculus - Google Books

https://books.google.de/books?id=MkWZaiECJvQC&dq=Lemma+von+Arden&hl=de&source=gbs_navlinks_s

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore,…