| emsoft | participants

Zohar Manna

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Efficient Distributed Deadlock Avoidance with Liveness Guarantees

César Sánchez, Henny B. Sipma, Zohar Manna, and Christopher D. Gill

EMSOFT 2003: 3rd International Conference on Embedded Software

Event Correlation: Language and Semantics

César Sánchez, Sriram Sankaranarayanan, Henny B. Sipma, Ting Zhang, David L. Dill, and Zohar Manna