Detection of Disjunctive Normal Form Predicate in Distributed Systems

DOI10.1007/978-3-540-77444-0_13MaRDI QIDQ5445747zbMATH OpenOpenAlexFDO

Authors Hong-Tao Huang

Publication date 6 March 2008

Published in Distributed Computing and Networking (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77444-0_13

Mathematics Subject Classification ID

Logic in computer science (03B70) Distributed systems (68M14)

Recommendations

• On Detecting Regular Predicates in Distributed Systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Detection of global predicates: techniques and their limitations
• Repeated detection of conjunctive predicates in distributed executions
• Formal Approaches to Software Testing

Cites work

• Efficient detection of restricted classes of global predicates
• Time, clocks, and the ordering of events in a distributed system

Cited in

(1)

• On Detecting Regular Predicates in Distributed Systems

This page was built for publication: Detection of Disjunctive Normal Form Predicate in Distributed Systems

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