• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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