Sign in

Flow Logic for Process Calculi.

Hanne Riis NielsonFlemming NielsonHenrik Pilegaard
Published in: ACM Comput. Surv. (2012)
Keyphrases
  • real time
  • data sets
  • multi agent