From Banach to Milner: metric semantics for second order communication and concurrency.

Jaco de Bakker Franck van Breugel From Banach to Milner: metric semantics for second order communication and concurrency. 99-132 2000 Proof, Language, and Interaction conf/birthday/1999milner db/conf/birthday/milner1999.html#BakkerB00