On the Difficulties of Concurrent-System Design, Illustrated with a 22 Switch Case Study.

Edgar G. Daylight, Sandeep K. Shukla

Browse the full FM paper archive.