A Program Refinement Framework Supporting Reasoning about Knowledge and Time
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Refinement and Temporal Annotations
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Reconfigurable distributed storage for dynamic networks
Journal of Parallel and Distributed Computing
Reconfigurable distributed storage for dynamic networks
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Hi-index | 0.01 |