Revisiting Local Time Semantics for Networks of Timed Automata.

R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: CONCUR (2019)

Keyphrases

timed automata
model checking
reachability analysis
social networks
theorem prover
formal semantics
theorem proving
complex networks
network design
computer networks
real time
first order logic
complex systems
semantic information
logic programming
speech acts
network size
query language
neural network