Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. Stephan Merz; Jun Pang. Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, L
HAL Archives-Ouvertes,
Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.