Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/milner1999.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/Abramsky00,
author = {Samson Abramsky},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Axioms for definability and full completeness},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {55--76},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Abramsky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaetenBR00,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Michel A. Reniers},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Discrete time process algebra with silent step},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {535--570},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaetenBR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BakkerB00,
author = {Jaco de Bakker and
Franck van Breugel},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {From Banach to Milner: metric semantics for second order communication
and concurrency},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {99--132},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BakkerB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BerezinCJM00,
author = {Sergey Berezin and
Edmund M. Clarke and
Somesh Jha and
Will Marrero},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Model checking algorithms for the {\(\mathrm{\mu}\)}-calculus},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {309--338},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BerezinCJM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Berry00,
author = {G{\'{e}}rard Berry},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {The foundations of Esterel},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {425--454},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Berry00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoudolL00,
author = {G{\'{e}}rard Boudol and
Cosimo Laneve},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {lambda-calculus, multiplicities, and the pi-calculus},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {659--690},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoudolL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ColletteJ00,
author = {Pierre Collette and
Cliff B. Jones},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Enhancing the tractability of rely/guarantee specifications in the
development of interfering operations},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {277--308},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ColletteJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ConstableJNU00,
author = {Robert L. Constable and
Paul B. Jackson and
Pavel Naumov and
Juan C. Uribe},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Constructively formalizing automata theory},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {213--238},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ConstableJNU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CurienPW00,
author = {Pierre{-}Louis Curien and
Gordon D. Plotkin and
Glynn Winskel},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Bistructures, bidomains, and linear logic},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {21--54},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CurienPW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EngbergN00,
author = {Uffe Engberg and
Mogens Nielsen},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {A calculus of communicating systems with label passing - ten years
after},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {599--622},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EngbergN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerreiraHJ00,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Combining the typed lambda-calculus with {CCS}},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {511--534},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FerreiraHJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GadducciM00,
author = {Fabio Gadducci and
Ugo Montanari},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {The tile model},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {133--166},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GadducciM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Gordon00,
author = {Mike Gordon},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {From {LCF} to {HOL:} a short history},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {169--186},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Gordon00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarperS00,
author = {Robert Harper and
Christopher A. Stone},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {A type-theoretic interpretation of standard {ML}},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {341--388},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Tue, 14 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HarperS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HirshfeldM00,
author = {Yoram Hirshfeld and
Faron Moller},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {On the star height of unary regular behaviours},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {497--510},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HirshfeldM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HoareJS00,
author = {C. A. R. Hoare and
Jifeng He and
Augusto Sampaio},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Algebraic derivation of an operational semantics},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {77--98},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HoareJS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuetS00,
author = {G{\'{e}}rard P. Huet and
Amokrane Sa{\"{\i}}bi},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Constructive category theory},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {239--276},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Fri, 02 Jan 2009 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HuetS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LiuW00,
author = {Xinxin Liu and
David Walker},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Concurrent objects as mobile processes},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {639--658},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LiuW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Parrow00,
author = {Joachim Parrow},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Trios in concert},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {623--638},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Parrow00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Paulson00,
author = {Lawrence C. Paulson},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {A fixedpoint approach to (co)inductive and (co)datatype definitions},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {187--212},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Paulson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PierceT00,
author = {Benjamin C. Pierce and
David N. Turner},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Pict: a programming language based on the Pi-Calculus},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {455--494},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PierceT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PlotkinST00,
author = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {A brief scientific biography of Robin Milner},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {1--18},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PlotkinST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Sangiorgi00,
author = {Davide Sangiorgi},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Lazy functions and mobile processes},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {691--720},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Sangiorgi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StarkS00,
author = {Eugene W. Stark and
Scott A. Smolka},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {A complete axiom system for finite-state probabilistic processes},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {571--596},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/StarkS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TofteB00,
author = {Mads Tofte and
Lars Birkedal},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Unification and polymorphism in region inference},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {389--424},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TofteB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1999milner,
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
publisher = {The {MIT} Press},
year = {2000},
isbn = {978-0-262-16188-6},
timestamp = {Mon, 23 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1999milner.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-23 21:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
