Sebastian Nanz Flemming Nielson Hanne Riis Nielson Modal Abstractions of Concurrent Behaviour. 159-173 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_11 conf/sas/2008 db/conf/sas/sas2008.html#NanzNN08