The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.

Giuseppe Castagna Francesco Zappa Nardelli

Published in: FSTTCS (2002)

Keyphrases

contextual information
computer algebra
formal language
website
automated deduction
algebraic structure
database
real world
information retrieval
multi agent
databases
context sensitive
context dependent
data sets
data mining
multiscale
datalog programs
mobile agent system