Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ichiro Hasuo, Kenta Cho 0002, Toshiki Kataoka, Bart Jacobs 0001 |
Coinductive Predicates and Final Sequences in a Fibration. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Glynn Winskel |
Distributed Probabilistic and Quantum Strategies. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mike Stay, Jamie Vicary |
Bicategorical Semantics for Nondeterministic Computation. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Michael W. Mislove |
Preface. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Jeremy Gibbons |
Monads for Behaviour. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott |
Dedication. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Uday S. Reddy |
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot |
Rational Operational Models. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Jérémy Planul, Gordon D. Plotkin |
Layout Randomization and Nondeterminism. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Heckmann, Klaus Keimel |
Quasicontinuous Domains and the Smyth Powerdomain. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Sprunger |
Linearization of Automatic Arrays and Weave Specifications. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik |
A Connection Between Concurrency and Language Theory. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó |
Continuity of Gödel's System T Definable Functionals via Effectful Forcing. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chunlai Zhou |
Approximating Bisimilarity for Markov Processes. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Michael W. Mislove (eds.) |
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013 |
MFPS |
2013 |
DBLP BibTeX RDF |
|
1 | J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes |
Timed Sets, Functional Complexity, and Computability. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut |
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Battenfeld |
Observationally-induced Effects in Cartesian Closed Categories. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Matteo Sammartino |
Network Conscious π-calculus: A Concurrent Semantics. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naohiko Hoshino |
A Representation Theorem for Unique Decomposition Categories. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dan Teodosiu 0001 |
A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Nikos Tzevelekos |
A System-Level Game Semantics. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Toby Wilkinson |
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini, Mohammad Reza Mousavi 0001, Michel A. Reniers, Murdoch James Gabbay |
Nominal SOS. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert Dockins, Aquinas Hobor |
Time Bounds for General Function Pointers. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001, Michael W. Mislove |
Preface. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva 0001 |
Final Semantics for Decorated Traces. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Lawrence, Ulrich Berger 0001, Monika Seisenberger |
Extracting a DPLL Algorithm. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oleksandr Manzyuk |
A Simply Typed λ-Calculus of Forward Automatic Differentiation. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mike Behrisch, Sebastian Kerkhoff, John Power |
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Jeltsch |
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guy McCusker, John Power, Cai Wingfield |
A Graphical Foundation for Schedules. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Achim Jung, Catherine Meadows 0001, Michael W. Mislove, Prakash Panangaden |
Dedication. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch Gabbay, Dan R. Ghica |
Game Semantics in the Nominal Model. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001, Tie Hou |
Typed vs. Untyped Realizability. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Brookes |
Syntactic Control of Interference and Concurrent Separation Logic. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen |
New. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001, Michael W. Mislove (eds.) |
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012 |
MFPS |
2012 |
DBLP BibTeX RDF |
|
1 | Alexandra Silva 0001, Ana Sokolova |
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen |
Realization of Coinductive Types. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tanner Crowder |
A Quantum Representation for Involution Groups. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Faris Abou-Saleh, Dirk Pattinson |
Towards Effects in Mathematical Operational Semantics. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel R. Licata, Robert Harper 0001 |
2-Dimensional Directed Type Theory. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Vafeiadis |
Concurrent Separation Logic and Operational Semantics. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove, Joël Ouaknine |
Preface. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Jeannin |
Capsules and Closures. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik |
Multi-Linear Iterative K-Σ-Semialgebras. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Battenfeld, Matthias Schröder 0001 |
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Buisse, Lars Birkedal, Kristian Støvring |
Step-Indexed Kripke Model of Separation Logic for Storable Locks. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinanda Camporesi, Jérôme Feret |
Formal Reduction for Rule-based Models. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ramyaa Ramyaa, Daniel Leivant |
Ramified Corecurrence and Logspace. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii |
From Applicative to Environmental Bisimulation. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Brookes |
A Revisionist History of Concurrent Separation Logic. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Joseph Turon, Mitchell Wand |
A Resource Analysis of the π-calculus. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta |
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Gotsman, Josh Berdine, Byron Cook |
Precision and the Conjunction Rule in Concurrent Separation Logic. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove, Joël Ouaknine (eds.) |
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011 |
MFPS |
2011 |
DBLP BibTeX RDF |
|
1 | Samson Abramsky |
Robin Milner's Work on Concurrency. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Venanzio Capretta |
Bisimulations Generated from Corecursive Equations. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
Cartesian Monoids. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dusko Pavlovic, Catherine Meadows 0001 |
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo, Bart Jacobs 0001, Milad Niqui |
Coalgebraic Representation Theory of Fractals. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guy McCusker, John Power |
Modelling Local Variables: Possible Worlds and Object Spaces. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eric Mjolsness |
Towards Measurable Types for Dynamical Process Modeling Languages. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan |
Future Path-components in Directed Topology. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michele Basaldella, Alexis Saurin, Kazushige Terui |
From Focalization of Logic to the Logic of Focalization. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Larchey-Wendling |
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rasmus Ejlers Møgelberg |
A Nominal Relational Model for Local Store. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
Categorical Models for Simply Typed Resource Calculi. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Brian F. Redmond |
A Categorical Setting for Lower Complexity. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ranald Clouston |
Binding in Nominal Equational Logic. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. W. Hofstra, J. Robin B. Cockett |
Unitary Theories, Unitary Categories. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski |
Full Abstraction Without Synchronization Primitives. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Masahito Hasegawa |
Bialgebras in Rel. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ana C. Calderon, Guy McCusker |
Understanding Game Semantics Through Coherence Spaces. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Brookes |
Fairness, Resources, and Separation. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Alex I. Smith |
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Keye Martin, Johnny Feng, Sanjeevi Krishnan |
A Free Object in Quantum Information Theory. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove, Peter Selinger |
Preface. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov |
Combining Model Reductions. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers |
On Rule Formats for Zero and Unit Elements. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | James Brotherston |
A Unified Display Proof Theory for Bunched Logic. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Garg 0001, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta |
Compositional System Security with Interface-Confined Adversaries. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove, Peter Selinger (eds.) |
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010 |
MFPS |
2010 |
DBLP BibTeX RDF |
|
1 | Martín Hötzel Escardó |
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi |
Preface. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer |
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Keimel, Jimmie D. Lawson |
Extending Algebraic Operations to D-Completions. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz |
Contraction-free Proofs and Finitary Games for Linear Logic. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
Abstract Interpretation From a Denotational-semantics Perspective. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mehrnoosh Sadrzadeh, Roy Dyckhoff |
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Nicolas Tabareau |
An Algebraic Account of References in Game Semantics. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Dariusz Biernacki |
A Context-based Approach to Proving Termination of Evaluation. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca |
Logical Semantics for Stability. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Radha Jagadeesan |
Game Semantics for Access Control. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy, Kidane Yemane Weldemariam |
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christelle Braun, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Quantitative Notions of Leakage for One-try Attacks. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Longley |
Some Programming Languages Suggested by Game Models (Extended Abstract). |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla |
On the Relative Expressive Power of Calculi for Mobility. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|