Timed π-Calculus.

Neda Saeedloei Gopal Gupta

Published in: TGC (2013)

Keyphrases

timed automata
model checking
theorem prover
petri net
first order logic
theorem proving
computer algebra
digital libraries
finite state machines
automated deduction
learning environment
hidden markov models
database systems
database
metadata
inference rules
artificial intelligence
formal language
learning algorithm