next up previous
Next: Über dieses Dokument Up: PEST: Programming Environment for Previous: Abstrakte Syntax


G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87-152, 1992.

D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, Oct 1996.

Erich Mikk
Tue Nov 24 13:50:54 MET 1998