Login / Signup
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems.
Marcello M. Bonsangue
Joost N. Kok
Published in:
Inf. Comput. (1999)
Keyphrases
</>
transition systems
modal logic
concurrent systems
model checking
temporal logic
finite state
dynamic programming
model checker
learning algorithm
linear programming