Login / Signup
Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi.
Cinzia Di Giusto
Jorge A. Pérez
Published in:
ICTCS (2009)
Keyphrases
</>
higher order
databases
website
video sequences
data sets
information systems
multiscale
expert systems
pairwise
first order logic