// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // // This non-constructive example is due to G. Berry [Berr99]. // // ************************************************************************** // module P07(event o) { if(o) w: pause; emit(o); } drivenby { nothing; }