Literaturhinweise:

K.R. Apt, E.-R. Olderog Verification of Sequential and Concurrent Programs , Springer, 1991.

A. Benveniste, G. Berry The Synchronous pproach to Reactive and Real-time Systems. Proceedings of the IEEE, 79(9):1270-1282, September 1991.

F. Boussinot, R. de Simone The Esterel Language. Proceedings of the IEEE, 79(9):1293-1304, September 1991.

M. Broy (Inter-)action Refinement: the Easy Way. Program Design Calculi, Proceedings International Summer School Marktoberdorf, NATO ASI Series, Series F: Computer and Systems Sciences, Vol. 118, 1993.

M. Broy Towards a Logical Basis of Software Engineering. Working Material International Summer School Marktoberdorf, 1998.

K.M. Chandy, J. Misra Parallel Program Design: a Foundation, Addison-Wesley, 1988

W.H.J. Feijen, A.J.M. van Gasteren On a Method of Multi-Programming. Springer, 1999.

N. Francez Program Verification, Addison-Wesley, 1992.

N. Francez Fairness, Springer, 1986.

N. Francez, I. Forman Interacting Processes: a Multiparty Approach to Coordinated Distributed Programming, Addison-Wesley, 1996.

D. Gries, F.B. Schneider A Logical Approach to Discrete Mathematics, Springer, 1993.

D. Gries The Science of Programming, Springer, 1987.

N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud The Synchronous Data flow Programming Language Lustre . Proceedings of the IEEE, 79(9):1305-1320, September 1991.

D. Harel StateCharts: a Visual Formalism for Complex Systems. Science of computer programming, 8:231-274, 1987.

D. Harel, M. Politi Modeling Reactive Systems with StateCharts. The Statemate approach, McGraw-Hill, 1998

N. Halbwachs Synchronous Programming of Reactive Systems. Kluwer, 1993.

E.C.R. Hehner A Practical Theory of Programming. Springer-Hall, 1993.

R.G. Herrtwich, G. Hommel Kooperation und Konkurrenz. Nebenläufige, verteilte und echtzeitabhängige Programmsysteme. Springer, 1989.

C.A.R. Hoare Communicating Sequential Processes, Prentice-Hall, 1985.

J.E. Hopcroft, J.D. Ullman Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.

G. Kahn The Semantics of a Simple Language for Parallel Programming. In J.L. Rosenfeld, editor, Information Processing 74, 471-475, North-Holland, 1974.

F. Kröger The Temporal Logic of Programs. Springer, 1987.

L. Lamport The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 3(16):872-923, 1994.

J. van Leeuwen Handbook of Theoretical Computer Science: Vol. B Formal Models and semantics , Elsevier, 1994

N. Lynch, M. Tuttle An Introduction to Input/Output automata, CWIQuarterly, 2(3):219-246, 1989.

Z. Manna, A. Pnueli A Temporal Logic of Reactive Systems and Concurrent Systems, Springer, 1992.

R. Milner Communication and Concurrency, Prentice Hall, 1989.

R. Milner A Calculus of Communicating Systems, Springer, 1980.

S. Mullender Distributed Systems, Addison-Wesley, 1993.

B. Selic, G. Gullekson, P.T. Ward Real-Time Object-Oriented Modeling (ROOM) , Wiley, 1994.