Efficient algorithms for approximate time separation of events Supratik ChakrabortyDavid L. DillKenneth Y. Yun OriginalPaper Pages: 129 - 162
Min-max event-triggered computation tree logic Pallab DasguptaP. P. ChakrabartiJatindra Kumar Deka OriginalPaper Pages: 163 - 180
Distributed automata in an assumption-commitment framework Swarup MohalikR. Ramanujam OriginalPaper Pages: 209 - 250