Login / Signup

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.

Myrto ArapinisJia LiuEike RitterMark Ryan
Published in: J. Log. Algebraic Methods Program. (2017)
Keyphrases
  • real time
  • database
  • image processing
  • data structure
  • relational databases
  • artificial neural networks
  • evolutionary algorithm
  • publish subscribe
  • computer algebra