Login / Signup
Modular coinduction up-to for higher-order languages via first-order transition systems.
Jean-Marie Madiot
Damien Pous
Davide Sangiorgi
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
higher order
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
markov models
practical reasoning
distributed systems
first order logic
reactive systems
conditional random fields
data flow
hidden markov models
petri net