Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic.

Jonas Kastberg Hinrichsen Jesper Bengtson Robbert Krebbers

Published in: CoRR (2020)

Keyphrases

delay insensitive
asynchronous circuits
logic programming
modal logic
neural network
case study
real time
databases
information retrieval
knowledge base
predicate logic