: A distributed real-time logic language | Publicación