๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Immediate detection of predicates in pervasive environments

โœ Scribed by Ajay D. Kshemkalyani

Book ID
113743676
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
435 KB
Volume
72
Category
Article
ISSN
0743-7315

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Efficient Detection of Channel Predicate
Efficient Detection of Channel Predicates in Distributed Systems
โœ V.K. Garg; C.M. Chase; Richard Kilgore; J.Roger Mitchell ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 443 KB

This paper discusses efficient detection of global predicates in a distributed program. Previous work in this area required predicates to be specified as a conjunction of predicates defined on individual processes. Many properties in distributed systems, however, use the state of channels, such as "