Język do specyfikacji systemów sterowanych zdarzeniami, w szczególności systemów telekomunikacyjnych, oraz obiektowy język formalny przeznaczony do specyfikacji złożonych, sterowanych zdarzeniami, działających w czasie rzeczywistym i interaktywnych aplikacji obejmujących wiele współbieżnych czynności, które komunikują się za pomocą sygnałów dyskretnych .
Skrót: –
