Closed schedulers: a novel technique for analyzing asynchronous protocols

Abstract
No abstract available

This publication has 12 references indexed in Scilit: