Detecting conjunctions of global predicates

DOI10.1016/S0020-0190(97)00139-7MaRDI QIDQ287191zbMATH OpenFDO

Authors Vijay K. Garg, J. Roger Mitchell

Publication date 26 May 2016

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

distributed systemspredicate detection

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)

Recommendations

• Detection of global predicates: techniques and their limitations
• Distributed Computing - IWDC 2003
• Distributed algorithm to detect strong conjunctive predicates
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Repeated detection of conjunctive predicates in distributed executions

Cited in

(14)

• QuickLex: a fast algorithm for consistent global states enumeration of distributed computations
• scientific article; zbMATH DE number 4050964 (Why is no real title available?)
• Immediate detection of predicates in pervasive environments
• scientific article; zbMATH DE number 1670782 (Why is no real title available?)
• Distributed algorithm to detect strong conjunctive predicates
• Principles of Distributed Systems
• Parallel Processing and Applied Mathematics
• Repeated detection of conjunctive predicates in distributed executions
• Detection of global predicates: techniques and their limitations
• Faster possibility detection by combining two approaches
• Intractability results in predicate detection
• Distributed Computing - IWDC 2003
• Efficient detection of restricted classes of global predicates
• Precluding useless events for on-line global predicate detections

This page was built for publication: Detecting conjunctions of global predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287191)