Concurrent Dynamic Epistemic Logic (2003)

by H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi