Login / Signup
Using session types for reasoning about boundedness in the π-calculus.
Hans Hüttel
Published in:
Acta Informatica (2020)
Keyphrases
</>
databases
data sets
image sequences
computer vision
data structure
multiple types
automated deduction