![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
28th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.