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

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic

Original language	English
Title of host publication	Proof, Language, and Interaction, Essays in Honour of Robin Milner
Editors	G.D. Plotkin
Publisher	MIT Press
Pages	99-132
Publication status	Published - 2000

Persistent URL (handle)

@inbook{2c1d1049e2e4481cb8f77b568e1a7676,

title = "From Banach to Milner: Metric semantics for second order communication and concurrency",

author = "\{de Bakker\}, J.W. and \{van Breugel\}, P.C.",

year = "2000",

language = "English",

pages = "99--132",

editor = "G.D. Plotkin",

booktitle = "Proof, Language, and Interaction, Essays in Honour of Robin Milner",

publisher = "MIT Press",

}