Detection of Disjunctive Normal Form Predicate in Distributed Systems

DOI10.1007/978-3-540-77444-0_13zbMath1132.68016OpenAlexW1558168668MaRDI QIDQ5445747

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)

Cites Work

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

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