Search dblp for Publications

export results for "toc:db/journals/entcs/entcs286.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.