CTR: A Calculus of Timed Refinement.

Published in: CONCUR (1995)

Keyphrases

timed automata
model checking
petri net
theorem prover
online advertising
automated deduction
theorem proving
click prediction
artificial intelligence
website
refinement process
sequent calculus