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

J.W. de Bakker, P.C. van Breugel

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

Original languageEnglish
Title of host publicationProof, Language, and Interaction, Essays in Honour of Robin Milner
EditorsG.D. Plotkin
PublisherMIT Press
Pages99-132
Publication statusPublished - 2000

Cite this