Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Tradeoffs between reasoning and modeling
Research directions in concurrent object-oriented programming
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
On the Power of Interactive Computing
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Time-awareness and Proactivity in Models of Interactive Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |