Hi folks, I submitted the following paper to ICALP last week. Despite the submission having already passed, I would welcome any comments you may have. http://www.ccs.neu.edu/home/riccardo/tmp/sub-ppdl.pdf Cheers, Riccardo