@Article{DBLP:journals/corr/abs-1103-0437,
   assoc_res = {Filippo Bonchi},
   joint-pub = {true},
   status = {public},
   number = {2},
   task = {t2.2},
   year = {2011},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7},
   main = {no},
   accessible = {true},
   title = {{Symbolic and Asynchronous Semantics via Normalized Coalgebras}},
   author = {Filippo Bonchi and Ugo Montanari},
   ee = {http://dx.doi.org/10.2168/LMCS-7(2:7)2011},
   period = {year2},
   journal = {Logical Methods in Computer Science},
   owner = {kroiss},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   ascens_ref = {true},
   partner = {UNIPI},
   wp = {wp2}
}