A Survey of Name-Passing Calculi and Crypto-Primitives.

Michele Bugliesi Giuseppe Castagna Silvia Crafa Riccardo Focardi Vladimiro Sassone

Published in: FOSAD (2002)

Keyphrases

high level
low level
building blocks
sequent calculi
qualitative spatial and temporal reasoning
real time
databases
information systems
database systems
description logics
logic programs
spatial relations