C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Local Planning Semantics: A Semantics for Distributed Real-Time Systems.
Mahieddine Dellabani
Jacques Combaz
Saddek Bensalem
Marius Bozga
Published in:
Leibniz Trans. Embed. Syst. (2019)
Keyphrases
</>
real time systems
distributed systems
formal semantics
mission critical
real time
logic programming
semantic information
artificial intelligence
multi agent
cooperative
software engineering
response time
peer to peer
distributed environment