Login / Signup
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic.
Jonas Kastberg Hinrichsen
Jesper Bengtson
Robbert Krebbers
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
delay insensitive
asynchronous circuits
case study
database
real time
databases
neural network
information retrieval
artificial intelligence
multi agent
logic programming
user behavior
multiple types
predicate logic