Name-passing calculi: From fusions to preorders and types.

Daniel Hirschkoff Jean-Marie Madiot Davide Sangiorgi

Published in: Inf. Comput. (2016)

Keyphrases

data sets
databases
high level
search space