|
|
|
|
|
| Foreword | 127 | P P Chakrabarti |
|
| Efficient
algorithms for approximate time separation of events |
129 | Supratik
Chakraborty, David L Dill and Kenneth Y Yun |
|
| Min-max
event-triggered computation tree logic |
163 | P
Dasgupta, P P Chakrabarti and Jatindra Kumar Deka |
|
| Product level automata 181 | 181 | Deepak
D’Souza and P Thiagarajan |
|
| Distributed
automata in an assumption commitment framework |
209 | S Mohalik and R Ramanujam |
|