Title: Prozessalgebra und temporale Logik