Efficient distributed deadlock avoidance with liveness guarantees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill. Efficient distributed deadlock avoidance with liveness guarantees. In Sang Lyul Min, Wang Yi, editors, Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. pages 12-20, ACM, 2006. [doi]

This author has not been identified. Look up 'César Sánchez' in GoogleThis author has not been identified. Look up 'Henny B. Sipma' in GoogleThis author has not been identified. Look up 'Zohar Manna' in GoogleThis author has not been identified. Look up 'Christopher D. Gill' in Google

runs on WebDSL