Vijay K. Garg, Craig Chase, J. Roger, Mitchell Richard Kilgore
Previous work in efficient detection of global predi-cates was restricted to predicates that could be specified as a boolean formula of local predicates. Many prop-erties in distributed systems,...
Detecting Conjunctive Channel Predicates in a Distributed Programming Environment (1995)
J. Roger, Mitchell Richard Kilgore, Vijay Garg, Vijay K. Garg, Craig Chase, Craig Chase, ...
This paper discusses efficient detection of global predicates in a distributed program. Previous work in efficient detection of global predicates was restricted to predicates that could be specified...