Sign in

Automating Open Bisimulation Checking for the Spi Calculus.

Alwen TiuJeremy E. Dawson
Published in: CSF (2010)
Keyphrases
  • information systems
  • type checking
  • automated deduction
  • data sets
  • real world
  • search engine
  • database
  • equivalence relation