Primitivas de Comunicação
- Contadores de eventos declare (e) event_counter; Read(e); /* retorna o valor atual de e */ Advance(e); /* incrementa e */ Await(e,v); /* espera que e tenha um valor igual ou supeior a v */ declare (e) event; Completion(e)= ...; /* true or false */ ... call p event(e); wait(e);