Electronic Notes in Theoretical Computer Science

Electronic Notes in Theoretical Computer Science

Volume 83 - Proceedings of MFPS XIX

Preface by Stephen Brookes and Prakash Panagaden

Ribbon Proofs by Jules Bean

Cumulative Computing by Yifeng Chen

Entropic Geometry from Logic by Bob Coecke

Towards the Correctness of Security Protocols by Mourad Debabbi and Mohamed Mejri

Domain-theoretic Solution of Differential Equations by Abbas Edalat, M. Krznaric and A. Lieutier

The Security Picalculus and Non-interference by Matthew Hennessy

Intensional Double Glueing, Biextensional Collapse, and the Chu Construction by Dominic Hughes

Contextual Equivalence for Higher-Order pi-Calculus Revisited by Alan Jeffrey and Julian Rathke

On the Semantics of the Bad-Variable Constructor in Algol-like Languages by Guy McCusker

Designing a Group Protocol Specification Language by Jonathan Millen and Grit Denker

Generic Transforms on Incomplete Specifications of Asynchronous Interfaces by Radu Negulescu

Secure Protocol Composition by Anupam Datta, Ante Derek, John Mitchell and Dusko Pavlovic

Pseudo-distributive laws by Eugenia Cheng, Martin Hyland and John Power

How Do Domains Model Topologies? by Pawel Waszkiewicz

A Type System for Robust Declassification by Steve Zdancewic

Compact Coverages Generate Spectral Frames by Guo-Qiang Zhang

Chu Spaces, Concept Lattices, and Domains by Guo-Qiang Zhang