What is Decidable about Perfect Timed Channels?

Parosh Aziz Abdulla Mohamed Faouzi Atig Shankara Narayanan Krishna

Published in: CoRR (2017)

Keyphrases

petri net
first order logic
multi channel
discrete event
timed automata
artificial intelligence
databases
neural network
relational databases
expressive power
dynamic systems
communication channels
transitive closure
datalog programs