Automating Open Bisimulation Checking for the Spi Calculus.

Alwen Tiu Jeremy E. Dawson

Published in: CSF (2010)

Keyphrases

information systems
type checking
automated deduction
data sets
real world
search engine
database
equivalence relation