Detecting conjunctions of global predicates
From MaRDI portal
Publication:287191
DOI10.1016/S0020-0190(97)00139-7zbMATH Open1336.68077MaRDI QIDQ287191FDOQ287191
Authors: Vijay K. Garg, J. Roger Mitchell 
Publication date: 26 May 2016
Published in: Information Processing Letters (Search for Journal in Brave)
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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)
Cites Work
Cited In (14)
- QuickLex: a fast algorithm for consistent global states enumeration of distributed computations
- Title not available (Why is that?)
- Immediate detection of predicates in pervasive environments
- Title not available (Why is that?)
- Distributed algorithm to detect strong conjunctive predicates
- Principles of Distributed Systems
- Parallel Processing and Applied Mathematics
- Repeated detection of conjunctive predicates in distributed executions
- Faster possibility detection by combining two approaches
- Detection of global predicates: techniques and their limitations
- 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)
