Static Livelock Analysis in CSP

CONCUR 2011 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23217-6_26 ◽

2011 ◽

pp. 389-403 ◽

Cited By ~ 5

Author(s):

Joël Ouaknine ◽

Hristina Palikareva ◽

A. W. Roscoe ◽

James Worrell

Download Full-text