Search results for "MFPS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Søren B. Lassen	Normal Form Simulation for McCarthy's Amb.	MFPS	2005	DBLP DOI BibTeX RDF
1	Martín Hötzel Escardó, Achim Jung, Michael W. Mislove	Preface.	MFPS	2005	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi	Probabilistic and Nondeterministic Aspects of Anonymity.	MFPS	2005	DBLP DOI BibTeX RDF
1	Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini	Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic.	MFPS	2005	DBLP DOI BibTeX RDF
1	Jeffrey M. Egger	A Quillen Model Structure for Chu Spaces.	MFPS	2005	DBLP DOI BibTeX RDF
1	Pawel Waszkiewicz	How Do Domains Model Topologies?	MFPS	2003	DBLP DOI BibTeX RDF
1	Mourad Debbabi, Mohamed Mejri	Towards the Correctness of Security Protocols.	MFPS	2003	DBLP DOI BibTeX RDF
1	Jules Bean	Ribbon Proofs.	MFPS	2003	DBLP DOI BibTeX RDF
1	Abbas Edalat, Marko Krznaric, André Lieutier	Domain-theoretic Solution of Differential Equations (Scalar Fields).	MFPS	2003	DBLP DOI BibTeX RDF
1	Guy McCusker	On the Semantics of the Bad-Variable Constructor in Algol-like Languages.	MFPS	2003	DBLP DOI BibTeX RDF
1	Radu Negulescu	Generic Transforms on Incomplete Specifications of Asynchronous Interfaces.	MFPS	2003	DBLP DOI BibTeX RDF
1	Alan Jeffrey, Julian Rathke	Contextual Equivalence for Higher-Order π-Calculus Revisited.	MFPS	2003	DBLP DOI BibTeX RDF
1	Yifeng Chen	Cumulative Computing.	MFPS	2003	DBLP DOI BibTeX RDF
1	Bob Coecke	Entropic Geometry from Logic.	MFPS	2003	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Prakash Panangaden (eds.)	Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003	MFPS	2003	DBLP BibTeX RDF
1	Dominic Hughes	Intensional Double Glueing, Biextensional Collapse, and the Chu Construction.	MFPS	2003	DBLP DOI BibTeX RDF
1	Guo-Qiang Zhang 0001	Compact Coverages Generate Spectral Frames.	MFPS	2003	DBLP DOI BibTeX RDF
1	Steve Zdancewic	A Type System for Robust Declassification.	MFPS	2003	DBLP DOI BibTeX RDF
1	Eugenia Cheng, Martin Hyland, John Power	Pseudo-distributive Laws.	MFPS	2003	DBLP DOI BibTeX RDF
1	Matthew Hennessy	The Security Picalculus and Non-interference (Extended Abstract).	MFPS	2003	DBLP DOI BibTeX RDF
1	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Secure Protocol Composition.	MFPS	2003	DBLP DOI BibTeX RDF
1	Guo-Qiang Zhang 0001	Chu Spaces, Concept Lattices, and Domains.	MFPS	2003	DBLP DOI BibTeX RDF
1	Martin Hyland, John Power	Pseudo-commutative Monads.	MFPS	2001	DBLP DOI BibTeX RDF
1	Annabelle McIver	A Generalisation of Stationary Distributions, and Probabilistic Program Algebra.	MFPS	2001	DBLP DOI BibTeX RDF
1	James Laird	A Game Semantics of Idealized CSP.	MFPS	2001	DBLP DOI BibTeX RDF
1	Lasse R. Nielsen	A Selective CPS Transformation.	MFPS	2001	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Michael W. Mislove	Preface.	MFPS	2001	DBLP DOI BibTeX RDF
1	Hayo Thielecke	Comparing Control Constructs by Double-barrelled {CPS} Transforms.	MFPS	2001	DBLP DOI BibTeX RDF
1	John Power, Konstantinos Tourlas	An Algebraic Foundation for Graph-based Diagrams in Computing.	MFPS	2001	DBLP DOI BibTeX RDF
1	Peter Sestoft	Demonstrating Lambda Calculus Reduction.	MFPS	2001	DBLP DOI BibTeX RDF
1	John Hannan	On Extracting Static Semantics.	MFPS	2001	DBLP DOI BibTeX RDF
1	Daniel Damian	Time Stamps for Fixed-Point Approximation.	MFPS	2001	DBLP DOI BibTeX RDF
1	Pawel Waszkiewicz	Distance and Measurement in Domain Theory.	MFPS	2001	DBLP DOI BibTeX RDF
1	Lei Fan	A New Approach to Quantitative Domain Theory.	MFPS	2001	DBLP DOI BibTeX RDF
1	Michael Huth 0001, Shekhar Pradhan	Model-Checking View-Based Partial Specifications.	MFPS	2001	DBLP DOI BibTeX RDF
1	Dan R. Ghica	Regular-Language Semantics for a Call-by-Value Programming Language.	MFPS	2001	DBLP DOI BibTeX RDF
1	Fabio Gadducci, Ugo Montanari	A Concurrent Graph Semantics for Mobile Ambients.	MFPS	2001	DBLP DOI BibTeX RDF
1	Achim Jung, Mathias Kegelmann, M. Andrew Moshier	Stably Compact Spaces and Closed Relations.	MFPS	2001	DBLP DOI BibTeX RDF
1	Keye Martin	Unique Fixed Points in Domain Theory.	MFPS	2001	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.	MFPS	2001	DBLP DOI BibTeX RDF
1	Joshua D. Guttman	Key Compromise, Strand Spaces, and the Authentication Tests.	MFPS	2001	DBLP DOI BibTeX RDF
1	Andrej Bauer	A Relationship between Equilogical Spaces and Type Two Effectivity.	MFPS	2001	DBLP DOI BibTeX RDF
1	Jan J. M. M. Rutten	Elements of Stream Calculus (An Extensive Exercise in Coinduction).	MFPS	2001	DBLP DOI BibTeX RDF
1	John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague	A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).	MFPS	2001	DBLP DOI BibTeX RDF
1	Gordon D. Plotkin, John Power	Semantics for Algebraic Operations.	MFPS	2001	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001, Alan Jeffrey	Typing Correspondence Assertions for Communication Protocols.	MFPS	2001	DBLP DOI BibTeX RDF
1	Stephen D. Brookes	Transfer Principles for Reasoning About Concurrent Programs.	MFPS	2001	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Michael W. Mislove (eds.)	Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001	MFPS	2001	DBLP BibTeX RDF
1	Reinhold Heckmann	Completeness Classes of Equilogical Spaces.	MFPS	1999	DBLP DOI BibTeX RDF
1	J. Polokow, Frank Pfenning	Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic.	MFPS	1999	DBLP DOI BibTeX RDF
1	Ralf Schweimeier, Alan Jeffrey	A Categorical and Graphical Treatment of Closure Conversion.	MFPS	1999	DBLP DOI BibTeX RDF
1	Geoffrey Smith 0001, Dennis M. Volpano	Confinement Properties for Multi-Threaded Programs.	MFPS	1999	DBLP DOI BibTeX RDF
1	Søren B. Lassen	Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.	MFPS	1999	DBLP DOI BibTeX RDF
1	Paul Syvreson	Towards a Strand Semantics for Authentication Logic.	MFPS	1999	DBLP DOI BibTeX RDF
1	Martín Hötzel Escardó	On the Compact-regular Coreflection of a Stably Locally Compact Locale.	MFPS	1999	DBLP DOI BibTeX RDF
1	Ralph Kummetz	From Partial Orders with Projections to Domains.	MFPS	1999	DBLP DOI BibTeX RDF
1	Martín Hötzel Escardó, Bob Flagg	Semantic Domains, Injective Spaces and Monads.	MFPS	1999	DBLP DOI BibTeX RDF
1	John Power, Edmund Robinson	Modularity and Dyads.	MFPS	1999	DBLP DOI BibTeX RDF
1	Susan Older	Strong fairness and Recursive Communicating Processes.	MFPS	1999	DBLP DOI BibTeX RDF
1	Stephen D. Brookes	Reasoning About Recursive Processes: Expansion is not Always Fair.	MFPS	1999	DBLP DOI BibTeX RDF
1	Catherine Meadows 0001, Dennis M. Volpano	The MFPS XV Security Session.	MFPS	1999	DBLP DOI BibTeX RDF
1	Carsten Führmann	Direct Models for the Computational Lambda Calculus.	MFPS	1999	DBLP DOI BibTeX RDF
1	Kim B. Bruce, Joseph Vanderwaart	Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.	MFPS	1999	DBLP DOI BibTeX RDF
1	Michael W. Mislove	Local Dcpos, Local Cpos and Local Completions.	MFPS	1999	DBLP DOI BibTeX RDF
1	C. Barry Jay	Denotational Semantics of Shape: Past, Present and Future.	MFPS	1999	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov	Preface.	MFPS	1999	DBLP DOI BibTeX RDF
1	Dominique Bolignano	Using Abstract Interpretation for the Safe Verification of Security Protocols.	MFPS	1999	DBLP DOI BibTeX RDF
1	Viviana Bono, John C. Mitchell, Amit Patel 0001, Vitaly Shmatikov	A Core Calculus of Classes and Objects.	MFPS	1999	DBLP DOI BibTeX RDF
1	Peter Selinger	Categorical Structure of Asynchrony.	MFPS	1999	DBLP DOI BibTeX RDF
1	Martín Abadi	Secrecy in Programming-Language Semantics.	MFPS	1999	DBLP DOI BibTeX RDF
1	George C. Necula	Enforcing Security and Safety with Proof-Carrying Code.	MFPS	1999	DBLP DOI BibTeX RDF
1	Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman	Characterizing Topologies With Bounded Complete Computational Models.	MFPS	1999	DBLP DOI BibTeX RDF
1	Hongde Hu	Contractible Coherence Spaces and Maximal Maps.	MFPS	1999	DBLP DOI BibTeX RDF
1	Matías Menni, Alex K. Simpson	The Largest Topological Subcategory of Countably-based Equilogical Spaces.	MFPS	1999	DBLP DOI BibTeX RDF
1	Paulo Sérgio Almeida	Type-checking Balloon Types.	MFPS	1999	DBLP DOI BibTeX RDF
1	Lawrence S. Moss	Recursion and Corecursion Have the Same Equational Logic.	MFPS	1999	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov (eds.)	Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999	MFPS	1999	DBLP BibTeX RDF
1	Hongde Hu, André Joyal	Coherence completions of categories and their enriched softness.	MFPS	1997	DBLP DOI BibTeX RDF
1	Abbas Edalat, Peter John Potts	A new representation for exact real numbers.	MFPS	1997	DBLP DOI BibTeX RDF
1	Eugenio Moggi	A categorical account of two-level languages.	MFPS	1997	DBLP DOI BibTeX RDF
1	Hayo Thielecke	Continuation semantics and self-adjointness.	MFPS	1997	DBLP DOI BibTeX RDF
1	Gilles Barthe, John Hatcliff, Morten Heine Sørensen	A notion of classical pure type system.	MFPS	1997	DBLP DOI BibTeX RDF
1	Michael B. Smyth	Topology and tolerance.	MFPS	1997	DBLP DOI BibTeX RDF
1	Patrick Cousot	Constructive design of a hierarchy of semantics of a transition system by abstract interpretation.	MFPS	1997	DBLP DOI BibTeX RDF
1	Franck van Breugel	Failures, finiteness and full abstraction.	MFPS	1997	DBLP DOI BibTeX RDF
1	Vaughan R. Pratt	Towards full completeness of the linear logic of Chu spaces.	MFPS	1997	DBLP DOI BibTeX RDF
1	Susan Older	A Framework for Fair Communicating Processes.	MFPS	1997	DBLP DOI BibTeX RDF
1	Michael W. Mislove	Using duality to solve domain equations.	MFPS	1997	DBLP DOI BibTeX RDF
1	Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov	Phase semantics for light linear logic.	MFPS	1997	DBLP DOI BibTeX RDF
1	Reinhold Heckmann	Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace.	MFPS	1997	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove	Foreword.	MFPS	1997	DBLP DOI BibTeX RDF
1	Stephen D. Brookes	Idealized CSP: combining procedures with communicating processes.	MFPS	1997	DBLP DOI BibTeX RDF
1	Guo-Qiang Zhang 0001, William C. Rounds	Resolution in the Smyth powerdomain.	MFPS	1997	DBLP DOI BibTeX RDF
1	Bob Flagg, Ralph Kopperman	Computational models for ultrametric spaces.	MFPS	1997	DBLP DOI BibTeX RDF
1	Marcelo P. Fiore, Giuseppe Rosolini	The category of cpos from a synthetic viewpoint.	MFPS	1997	DBLP DOI BibTeX RDF
1	Philipp Sünderhauf	Tensor products and powerspaces in quantitative domain theory.	MFPS	1997	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	Correctness of a region-based binding-time analysis.	MFPS	1997	DBLP DOI BibTeX RDF
1	Yoshiki Kinoshita, John Power, Makoto Takeyama	Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.	MFPS	1997	DBLP DOI BibTeX RDF
1	Michael Makkai, Giuseppe Rosolini	Studying repleteness in the category of cpos.	MFPS	1997	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Maurizio Gabbrielli	Infinite computations in concurrent constraint programming.	MFPS	1997	DBLP DOI BibTeX RDF

Publications at "MFPS"( http://dblp.L3S.de/Venues/MFPS )