Detecting Locally Distributed Predicates (original) (raw)
Related papers
Programming modular robots with locally distributed predicates
2008
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing, 2007
On Detecting Global Predicates in Distributed Computations
2001
Distributed Watchpoints: Debugging Large Modular Robot Systems
The International Journal of Robotics Research, 2008
Distributed Watchpoints: Debugging Large Multi-Robot Systems
2007
Detection of Conjunctive Stable Predicates in Dynamic Systems
2009 15th International Conference on Parallel and Distributed Systems, 2009
Deriving distributed algorithms from a general predicate detector
computer software and applications conference, 1995
Detection of weak unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1994
Distributed Symbolic Bounded Property Checking
Electronic Notes in Theoretical Computer Science, 2006
Verification of distributed systems with local–global predicates
Formal Aspects of Computing, 2010
Global Predicate Detection in Distributed Systems with Small Faults
Lecture Notes in Computer Science, 2007
Distributed predicate detection in a faulty environment
Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183)
Detection of global predicates: Techniques and their limitations
Distributed Computing, 1998
A Distributed Abstraction Algorithm for Online Predicate Detection
2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 2013
Checking global properties for local computations in graphs with applications to invariant testing
Proceedings of the Fifth Mexican International Conference in Computer Science, 2004. ENC 2004., 2004
Towards a Robust Spatial Computing Language for Modular Robots (Position Paper)
2012
Detection of global state predicates
Distributed Algorithms, 1992
Detection of strong unstable predicates in distributed programs
IEEE Transactions on Parallel and Distributed Systems, 1996
A simple approach to distributed objects in prolog
2002
Stable Predicate Detection in Dynamic Systems
Lecture Notes in Computer Science, 2006
A Language for Large Ensembles of Independently Executing Nodes
Lecture Notes in Computer Science, 2009
A Harmony Search Based Algorithm for Detecting Distributed Predicates
International Journal of Advanced Computer Science and Applications, 2012
Efficient detection of restricted classes of global predicates
Lecture Notes in Computer Science, 1995
Local verification using a distributed state space
Fundamenta Informaticae, 2013
Deciding and verifying network properties locally with few output bits
Distributed Computing
A Principle for Sequential Reasoning about Distributed Algorithms
Formal Aspects of Computing, 1994
Keeping in Touch: A Distributed Check for Biconnected Structure by Homogeneous Robots
Towards a formal verification methodology for collective robotic systems
2012
Efficient Detection of Channel Predicates in Distributed Systems
Journal of Parallel and Distributed Computing, 1997
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Lecture Notes in Computer Science, 2004