id: 70377267
dt: a
an: 70377267
au: Clarke, Dave
ti: Coordination: reo, nets, and logic
so: FMCO, 226-256 (2007).
py: 2007
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-92188-2_10