Refining Interactions in a Distributed System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Hi-index | 0.00 |