Automata for epistemic temporal logic with synchronous communication
scientific article; zbMATH DE number 5833738
scientific article