Login / Signup

Static Livelock Analysis in CSP.

Joël OuaknineHristina PalikarevaA. W. RoscoeJames Worrell
Published in: CONCUR (2011)
Keyphrases
  • case study
  • search algorithm
  • computational complexity