Bibliography

BG92

G. Berry and G. Gonthier.
The ESTEREL synchronous programming language: design, semantics, implementation.
Science of Computer Programming, 19:87-152, 1992.

CJJ⁺98

C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol.
Design and implementation of Triveni: A process-algebraic API for threads + events.
In Proceedings of the 1998 IEEE International Conference on Computer Languages. IEEE Computer Press, 1998.
To appear.

GHJV95

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
Design Patterns: Elements of Reusable Object-Oriented Software.
Addison-Wesley, 1995.

Hal93

N. Halbwachs.
Synchronous programming of reactive systems.
The Kluwer international series in Engineering and Computer Science. Kluwer Academic publishers, 1993.

HLRW85

G. Haugk, F.M. Lax, R.D. Royer, and J.R. Williams.
The 5ESS(TM) switching system: Maintenance capabilities.
AT&T Technical Journal, 64(6 part 2):1385-1416, July-August 1985.

Hoa85

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

JPVO95

L. Jagadeesan, C. Puchol, and J. E. Von Olnhausen.
Safety property verification of ESTEREL programs and applications to telecommunications software.
In Lecture Notes in Computer Science, volume 939, pages 127-140, July 1995.
Proceedings of the 7th International Conference on Computer Aided Verification.

JPVO96

L. Jagadeesan, C. Puchol, and J. E. Von Olnhausen.
A formal approach to reactive systems software: A telecommunications application in ESTEREL.
Formal Methods in System Design, 8(2):123-152, March 1996.

Mil89

R. Milner.
Communication and Concurrency.
Series in Computer Science. Prentice Hall, 1989.

MP92

Z. Manna and A. Pnueli.
The Temporal Logic of Reactive and Concurrent Systems: Specification.
Springer-Verlag, 1992.

MS85

K.E. Martersteck and A.E. Spencer.
Introduction to the 5ESS(TM) switching system.
AT&T Technical Journal, 64(6 part 2):1305-1314, July-August 1985.