1
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Table of Contents: '; ... -- 6.1 Syntax -- 6.2 Semantik -- 6.3 Verifikation -- 6.4 Fallstudie: Erzeuger/Verbraucher-Problem -- 6...

2
by Apt, Krzysztof R.
Published 1985
Springer Berlin Heidelberg
Table of Contents: '; ...A communication abstraction mechanism and its verification -- The cooperation test: a syntax...

3
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991
Springer New York
... systematically discuss five classes of programs, concentrating on operational semantics, syntax directed...