default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th MFPS 2012: Bath, UK
- Ulrich Berger, Michael W. Mislove:
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012. Electronic Notes in Theoretical Computer Science 286, Elsevier 2012 - Ulrich Berger, Michael W. Mislove
:
Preface. 1-2 - Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden:
Dedication. 3 - Mike Behrisch, Sebastian Kerkhoff, John Power:
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? 5-16 - Dexter Kozen:
New. 17-42 - Ingo Battenfeld:
Observationally-induced Effects in Cartesian Closed Categories. 43-56 - Ulrich Berger, Tie Hou:
Typed vs. Untyped Realizability. 57-71 - Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva:
Final Semantics for Decorated Traces. 73-86 - Stephen Brookes:
Syntactic Control of Interference and Concurrent Separation Logic. 87-102 - Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay:
Nominal SOS. 103-116 - J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes:
Timed Sets, Functional Complexity, and Computability. 117-137 - Robert Dockins, Aquinas Hobor:
Time Bounds for General Function Pointers. 139-155 - Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut:
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators. 157-172 - Murdoch Gabbay, Dan R. Ghica:
Game Semantics in the Nominal Model. 173-189 - Dan R. Ghica, Nikos Tzevelekos:
A System-Level Game Semantics. 191-211 - Naohiko Hoshino:
A Representation Theorem for Unique Decomposition Categories. 213-227 - Wolfgang Jeltsch:
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming. 229-242 - Andrew Lawrence, Ulrich Berger, Monika Seisenberger:
Extracting a DPLL Algorithm. 243-256 - Oleksandr Manzyuk:
A Simply Typed λ-Calculus of Forward Automatic Differentiation. 257-272 - Guy McCusker, John Power, Cai Wingfield:
A Graphical Foundation for Schedules. 273-289 - Ugo Montanari, Matteo Sammartino:
Network Conscious π-calculus: A Concurrent Semantics. 291-306 - Dan Teodosiu:
A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources. 307-321 - Toby Wilkinson:
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation. 323-336
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:15 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:
