GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.

Fatma Jebali, Frdric Lang, Radu Mateescu

Browse the full ICFEM paper archive.