![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs286.bht:"
@inproceedings{DBLP:journals/entcs/Battenfeld12, author = {Ingo Battenfeld}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Observationally-induced Effects in Cartesian Closed Categories}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {43--56}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.004}, doi = {10.1016/J.ENTCS.2012.08.004}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Battenfeld12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BehrischKP12, author = {Mike Behrisch and Sebastian Kerkhoff and John Power}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {5--16}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.002}, doi = {10.1016/J.ENTCS.2012.08.002}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BehrischKP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BergerH12, author = {Ulrich Berger and Tie Hou}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Typed vs. Untyped Realizability}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {57--71}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.005}, doi = {10.1016/J.ENTCS.2012.08.005}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BergerH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BergerM12, author = {Ulrich Berger and Michael W. Mislove}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Preface}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {1--2}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.001}, doi = {10.1016/J.ENTCS.2012.08.001}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BergerM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BonchiBCRS12, author = {Filippo Bonchi and Marcello M. Bonsangue and Georgiana Caltais and Jan J. M. M. Rutten and Alexandra Silva}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Final Semantics for Decorated Traces}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {73--86}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.006}, doi = {10.1016/J.ENTCS.2012.08.006}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BonchiBCRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Brookes12, author = {Stephen Brookes}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Syntactic Control of Interference and Concurrent Separation Logic}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {87--102}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.007}, doi = {10.1016/J.ENTCS.2012.08.007}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Brookes12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BrookesJMMP12, author = {Stephen D. Brookes and Achim Jung and Catherine Meadows and Michael W. Mislove and Prakash Panangaden}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Dedication}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {3}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.022}, doi = {10.1016/J.ENTCS.2012.08.022}, timestamp = {Tue, 19 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BrookesJMMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CiminiMRG12, author = {Matteo Cimini and Mohammad Reza Mousavi and Michel A. Reniers and Murdoch James Gabbay}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Nominal {SOS}}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {103--116}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.008}, doi = {10.1016/J.ENTCS.2012.08.008}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/CiminiMRG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CockettDGH12, author = {J. Robin B. Cockett and Joaqu{\'{\i}}n D{\'{\i}}az{-}Bo{\"{\i}}ls and Jonathan Gallagher and Pavel Hrubes}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Timed Sets, Functional Complexity, and Computability}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {117--137}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.009}, doi = {10.1016/J.ENTCS.2012.08.009}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/CockettDGH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DockinsH12, author = {Robert Dockins and Aquinas Hobor}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Time Bounds for General Function Pointers}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {139--155}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.010}, doi = {10.1016/J.ENTCS.2012.08.010}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/DockinsH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DyckhoffST12, author = {Roy Dyckhoff and Mehrnoosh Sadrzadeh and Julien Truffaut}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {157--172}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.011}, doi = {10.1016/J.ENTCS.2012.08.011}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/DyckhoffST12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GabbayG12, author = {Murdoch Gabbay and Dan R. Ghica}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Game Semantics in the Nominal Model}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {173--189}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.012}, doi = {10.1016/J.ENTCS.2012.08.012}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/GabbayG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GhicaT12, author = {Dan R. Ghica and Nikos Tzevelekos}, editor = {Ulrich Berger and Michael W. Mislove}, title = {A System-Level Game Semantics}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {191--211}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.013}, doi = {10.1016/J.ENTCS.2012.08.013}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/GhicaT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Hoshino12, author = {Naohiko Hoshino}, editor = {Ulrich Berger and Michael W. Mislove}, title = {A Representation Theorem for Unique Decomposition Categories}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {213--227}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.014}, doi = {10.1016/J.ENTCS.2012.08.014}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Hoshino12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Jeltsch12, author = {Wolfgang Jeltsch}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {229--242}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.015}, doi = {10.1016/J.ENTCS.2012.08.015}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Jeltsch12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kozen12, author = {Dexter Kozen}, editor = {Ulrich Berger and Michael W. Mislove}, title = {New}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {17--42}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.003}, doi = {10.1016/J.ENTCS.2012.08.003}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Kozen12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LawrenceBS12, author = {Andrew Lawrence and Ulrich Berger and Monika Seisenberger}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Extracting a {DPLL} Algorithm}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {243--256}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.016}, doi = {10.1016/J.ENTCS.2012.08.016}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/LawrenceBS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Manzyuk12, author = {Oleksandr Manzyuk}, editor = {Ulrich Berger and Michael W. Mislove}, title = {A Simply Typed {\(\lambda\)}-Calculus of Forward Automatic Differentiation}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {257--272}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.017}, doi = {10.1016/J.ENTCS.2012.08.017}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Manzyuk12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/McCuskerPW12, author = {Guy McCusker and John Power and Cai Wingfield}, editor = {Ulrich Berger and Michael W. Mislove}, title = {A Graphical Foundation for Schedules}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {273--289}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.018}, doi = {10.1016/J.ENTCS.2012.08.018}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/McCuskerPW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MontanariS12, author = {Ugo Montanari and Matteo Sammartino}, editor = {Ulrich Berger and Michael W. Mislove}, title = {Network Conscious {\(\pi\)}-calculus: {A} Concurrent Semantics}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {291--306}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.019}, doi = {10.1016/J.ENTCS.2012.08.019}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/MontanariS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Teodosiu12, author = {Dan Teodosiu}, editor = {Ulrich Berger and Michael W. Mislove}, title = {A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {307--321}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.020}, doi = {10.1016/J.ENTCS.2012.08.020}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Teodosiu12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Wilkinson12, author = {Toby Wilkinson}, editor = {Ulrich Berger and Michael W. Mislove}, title = {A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation}, booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, pages = {323--336}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2012.08.021}, doi = {10.1016/J.ENTCS.2012.08.021}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Wilkinson12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfps/2012, editor = {Ulrich Berger and Michael W. Mislove}, title = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, publisher = {Elsevier}, year = {2012}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/286/suppl/C}, timestamp = {Mon, 13 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfps/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.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.