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

Fatma Jebali Frédéric Lang Radu Mateescu

Published in: ICFEM (2014)

Keyphrases

specification language
software environment
description language
database
artificial intelligence
expert systems
programming language
distributed systems
knowledge based systems
asynchronous communication
high level
database systems
dynamic environments
building blocks