Date: 2013-01-23 11:18:26

Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 233,21 KB