Brief announcement: techniques for programmatically troubleshooting distributed systems
Knowledge and common knowledge in a distributed environment