Login / Signup
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems.
Ugo Dal Lago
Francesco Gavazzo
Published in:
CoRR (2021)
Keyphrases
</>
higher order
transition systems
concurrent systems
knowledge base
multi agent systems
model checking