Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Hi-index | 0.00 |