S. Laurie Ricker, Karen Rudie. Distributed knowledge for communication in decentralized discrete-event systems. In 39th IEEE Conference on Decision and Control, CDC 2000, Sydney, Australia, December 12-15, 2000. pages 9-15, IEEE, 2000. [doi]
Abstract is missing.