A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP.
Saved in:
| Title: | A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP. |
|---|---|
| Authors: | OUAKNINE, JOËL1, joel@cs.ox.ac.uk, PALIKAREVA, HRISTINA2, h.palikareva@imperial.ac.uk, ROSCOE, A. W.1, awr@cs.ox.ac.uk, WORRELL, JAMES1, jbw@cs.ox.ac.uk |
| Source: | Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-53, 53p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
