default search action
19th MFPS 2003: Montréal, QC, Canada
- Stephen D. Brookes, Prakash Panangaden:
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003. Electronic Notes in Theoretical Computer Science 83, Elsevier 2003 - Jules Bean:
Ribbon Proofs. 1-21 - Yifeng Chen:
Cumulative Computing. 23-38 - Bob Coecke:
Entropic Geometry from Logic. 39-53 - Mourad Debbabi, Mohamed Mejri:
Towards the Correctness of Security Protocols. 55-98 - Abbas Edalat, Marko Krznaric, André Lieutier:
Domain-theoretic Solution of Differential Equations (Scalar Fields). 99-112 - Matthew Hennessy:
The Security Picalculus and Non-interference (Extended Abstract). 113-129 - Dominic Hughes:
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction. 131-147 - Alan Jeffrey, Julian Rathke:
Contextual Equivalence for Higher-Order π-Calculus Revisited. 149-168 - Guy McCusker:
On the Semantics of the Bad-Variable Constructor in Algol-like Languages. 169-186 - Radu Negulescu:
Generic Transforms on Incomplete Specifications of Asynchronous Interfaces. 187-200 - Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
Secure Protocol Composition. 201-226 - Eugenia Cheng, Martin Hyland, John Power:
Pseudo-distributive Laws. 227-245 - Pawel Waszkiewicz:
How Do Domains Model Topologies? 247-262 - Steve Zdancewic:
A Type System for Robust Declassification. 263-277 - Guo-Qiang Zhang:
Compact Coverages Generate Spectral Frames. 279-285 - Guo-Qiang Zhang:
Chu Spaces, Concept Lattices, and Domains. 287-302
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 2024-12-19 22:01 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: