Login / Signup

A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract.

Alwen Tiu
Published in: APLAS (2007)
Keyphrases
  • extended abstract
  • automated deduction
  • algebraic structure
  • neural network
  • information retrieval
  • video sequences
  • formal language
  • optimal planning
  • execution traces
  • database query languages