Repeated detection of conjunctive predicates in distributed executions

DOI10.1016/J.IPL.2011.01.016MaRDI QIDQ1944920zbMATH OpenOpenAlexFDO

Authors Ajay D. Kshemkalyani

Publication date 28 March 2013

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

Full work available at URL https://doi.org/10.1016/j.ipl.2011.01.016

zbMATH Keywords

intervalscausalitydistributed computingpredicate detectionmonitoringglobal state

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Distributed algorithms (68W15)

Recommendations

• 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
• Formal Approaches to Software Testing
• Detecting conjunctions of global predicates

Cites work

• Data-stream-based global event monitoring using pairwise interactions
• Distributed Computing
• Distributed algorithm to detect strong conjunctive predicates
• Formal Approaches to Software Testing
• Formal Verification of Simulation Traces Using Computation Slicing
• Temporal interactions of intervals in distributed systems.
• Time, clocks, and the ordering of events in a distributed system

Cited in

(10)

• Formal Approaches to Software Testing
• On Detecting Regular Predicates in Distributed Systems
• Detecting conjunctions of global predicates
• scientific article; zbMATH DE number 1955840 (Why is no real title available?)
• Immediate detection of predicates in pervasive environments
• Fast Detection of Stable and Count Predicates in Parallel Computations
• Distributed algorithm to detect strong conjunctive predicates
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Detection of Disjunctive Normal Form Predicate in Distributed Systems
• Distributed Computing - IWDC 2003

This page was built for publication: Repeated detection of conjunctive predicates in distributed executions

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