// ************************************************************************** // // // // 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 // // // // ************************************************************************** // package ComputerArchitecture.AsynchronousCircuits.AsyncArbiterBoch82; module Server(bool ?react,?req,!ack) { loop { await(req); await(react); ack = true; await(!req); await(react); ack = false; } }