Eric Pacuit Rohit Parikh The Logic of Communication Graphs. 256-269 2004 conf/dalt/2004 DALT http://dx.doi.org/10.1007/11493402_15 db/conf/dalt/dalt2004.html#PacuitP04