On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study

Edgar G. Daylight, Sandeep K. Shukla. On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. In Ana Cavalcanti, Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Volume 5850 of Lecture Notes in Computer Science, pages 273-288, Springer, 2009. [doi]

Authors

Edgar G. Daylight

This author has not been identified. Look up 'Edgar G. Daylight' in Google

Sandeep K. Shukla

This author has not been identified. Look up 'Sandeep K. Shukla' in Google