Designing distributed services using refinement mappings
Designing distributed services using refinement mappings
On the development of reactive systems
Logics and models of concurrent systems
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
The State Machine Approach: A Tutorial
The State Machine Approach: A Tutorial
An annotated bibliography of interactive program steering
ACM SIGPLAN Notices
Enhancing O-O Middleware to Become Time-Aware
Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
| Hi-index | 0.00 |