default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65. Birthday: Robin Milner 1999
- Gordon D. Plotkin, Colin Stirling, Mads Tofte:
Proof, Language, and Interaction, Essays in Honour of Robin Milner. The MIT Press 2000, ISBN 978-0-262-16188-6 - Gordon D. Plotkin, Colin Stirling, Mads Tofte:
A brief scientific biography of Robin Milner. Proof, Language, and Interaction 2000: 1-18
Semantic Foudations
- Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel:
Bistructures, bidomains, and linear logic. Proof, Language, and Interaction 2000: 21-54 - Samson Abramsky:
Axioms for definability and full completeness. Proof, Language, and Interaction 2000: 55-76 - C. A. R. Hoare, Jifeng He, Augusto Sampaio:
Algebraic derivation of an operational semantics. Proof, Language, and Interaction 2000: 77-98 - Jaco de Bakker, Franck van Breugel:
From Banach to Milner: metric semantics for second order communication and concurrency. Proof, Language, and Interaction 2000: 99-132 - Fabio Gadducci, Ugo Montanari:
The tile model. Proof, Language, and Interaction 2000: 133-166
Programming Logic
- Mike Gordon:
From LCF to HOL: a short history. Proof, Language, and Interaction 2000: 169-186 - Lawrence C. Paulson:
A fixedpoint approach to (co)inductive and (co)datatype definitions. Proof, Language, and Interaction 2000: 187-212 - Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe:
Constructively formalizing automata theory. Proof, Language, and Interaction 2000: 213-238 - Gérard P. Huet, Amokrane Saïbi:
Constructive category theory. Proof, Language, and Interaction 2000: 239-276 - Pierre Collette, Cliff B. Jones:
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction 2000: 277-308 - Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero:
Model checking algorithms for the µ-calculus. Proof, Language, and Interaction 2000: 309-338
Programming Languages
- Robert Harper, Christopher A. Stone:
A type-theoretic interpretation of standard ML. Proof, Language, and Interaction 2000: 341-388 - Mads Tofte, Lars Birkedal:
Unification and polymorphism in region inference. Proof, Language, and Interaction 2000: 389-424 - Gérard Berry:
The foundations of Esterel. Proof, Language, and Interaction 2000: 425-454 - Benjamin C. Pierce, David N. Turner:
Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction 2000: 455-494
Concurrency
- Yoram Hirshfeld, Faron Moller:
On the star height of unary regular behaviours. Proof, Language, and Interaction 2000: 497-510 - William Ferreira, Matthew Hennessy, Alan Jeffrey:
Combining the typed lambda-calculus with CCS. Proof, Language, and Interaction 2000: 511-534 - Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers:
Discrete time process algebra with silent step. Proof, Language, and Interaction 2000: 535-570 - Eugene W. Stark, Scott A. Smolka:
A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction 2000: 571-596
Mobility
- Uffe Engberg, Mogens Nielsen:
A calculus of communicating systems with label passing - ten years after. Proof, Language, and Interaction 2000: 599-622 - Joachim Parrow:
Trios in concert. Proof, Language, and Interaction 2000: 623-638 - Xinxin Liu, David Walker:
Concurrent objects as mobile processes. Proof, Language, and Interaction 2000: 639-658 - Gérard Boudol, Cosimo Laneve:
lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction 2000: 659-690 - Davide Sangiorgi:
Lazy functions and mobile processes. Proof, Language, and Interaction 2000: 691-720
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.
last updated on 2025-11-28 12:43 CET 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:
