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

• Authors:

• Jaco de Bakker;Franck van Breugel

• Affiliations:

• -;-

• Venue:
• Proof, language, and interaction
• Year:
• 2000