Ron van der Meyden. Common Knowledge and Update in Finite Environments. Inf. Comput., 140(2):115-157, 1998.
@article{Meyden98, title = {Common Knowledge and Update in Finite Environments}, author = {Ron van der Meyden}, year = {1998}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Meyden98}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {140}, number = {2}, pages = {115-157}, }