Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs249.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/AbramskyJ09,
author = {Samson Abramsky and
Radha Jagadeesan},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Game Semantics for Access Control},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {135--156},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.088},
doi = {10.1016/J.ENTCS.2009.07.088},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbramskyJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbramskyMP09,
author = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Preface},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.080},
doi = {10.1016/J.ENTCS.2009.07.080},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbramskyMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV09,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Elgot Theories: {A} New Perspective of Iteration Theories (Extended
Abstract)},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {407--427},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.100},
doi = {10.1016/J.ENTCS.2009.07.100},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bauer09,
author = {Andrej Bauer},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {On the Failure of Fixed-Point Theorems for Chain-complete Lattices
in the Effective Topos},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {157--167},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.089},
doi = {10.1016/J.ENTCS.2009.07.089},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bauer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiernackaB09,
author = {Malgorzata Biernacka and
Dariusz Biernacki},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {A Context-based Approach to Proving Termination of Evaluation},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {169--192},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.090},
doi = {10.1016/J.ENTCS.2009.07.090},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BiernackaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bove09,
author = {Ana Bove},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Another Look at Function Domains},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {61--74},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.084},
doi = {10.1016/J.ENTCS.2009.07.084},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Bove09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraunCP09,
author = {Christelle Braun and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Quantitative Notions of Leakage for One-try Attacks},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {75--91},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.085},
doi = {10.1016/J.ENTCS.2009.07.085},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BraunCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrownP09,
author = {Daniel Brown and
Riccardo Pucella},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Categories of Timed Stochastic Relations},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {193--217},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.091},
doi = {10.1016/J.ENTCS.2009.07.091},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrownP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Escardo09,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Semi-decidability of May, Must and Probabilistic Testing in a Higher-type
Setting},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {219--242},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.092},
doi = {10.1016/J.ENTCS.2009.07.092},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Escardo09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigGP09,
author = {David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Miguel Palomino},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {On the Unification of Process Semantics: Equational Semantics},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {243--267},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.093},
doi = {10.1016/J.ENTCS.2009.07.093},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Frutos-EscrigGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhaniHP09,
author = {Neil Ghani and
Peter G. Hancock and
Dirk Pattinson},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Continuous Functions on Final Coalgebras},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {3--18},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.081},
doi = {10.1016/J.ENTCS.2009.07.081},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GhaniHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gorla09,
author = {Daniele Gorla},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {On the Relative Expressive Power of Calculi for Mobility},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {269--286},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.094},
doi = {10.1016/J.ENTCS.2009.07.094},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Gorla09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HermidaT09,
author = {Claudio Hermida and
Robert D. Tennent},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Monoidal Indeterminates and Categories of Possible Worlds},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {39--60},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.083},
doi = {10.1016/J.ENTCS.2009.07.083},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HermidaT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HirschowitzHH09,
author = {Andr{\'{e}} Hirschowitz and
Michel Hirschowitz and
Tom Hirschowitz},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Contraction-free Proofs and Finitary Games for Linear Logic},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {287--305},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.095},
doi = {10.1016/J.ENTCS.2009.07.095},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HirschowitzHH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KashefiOBAA09,
author = {Elham Kashefi and
Daniel K. L. Oi and
Dan E. Browne and
Janet Anders and
Erika Andersson},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Twisted Graph States for Ancilla-driven Universal Quantum Computation},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {307--331},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.096},
doi = {10.1016/J.ENTCS.2009.07.096},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KashefiOBAA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KeimelL09,
author = {Klaus Keimel and
Jimmie D. Lawson},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Extending Algebraic Operations to D-Completions},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {93--116},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.086},
doi = {10.1016/J.ENTCS.2009.07.086},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KeimelL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzL09,
author = {Alexander Kurz and
Raul Andres Leal},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Equational Coalgebraic Logic},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {333--356},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.097},
doi = {10.1016/J.ENTCS.2009.07.097},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LevyW09,
author = {Paul Blain Levy and
Kidane Yemane Weldemariam},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Exploratory Functions on Nondeterministic Strategies, up to Lower
Bisimilarity},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {357--375},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.098},
doi = {10.1016/J.ENTCS.2009.07.098},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LevyW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Longley09,
author = {John Longley},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Some Programming Languages Suggested by Game Models (Extended Abstract)},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {117--134},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.087},
doi = {10.1016/J.ENTCS.2009.07.087},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Longley09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MelliesT09,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Nicolas Tabareau},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {An Algebraic Account of References in Game Semantics},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {377--405},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.099},
doi = {10.1016/J.ENTCS.2009.07.099},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MelliesT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PaoliniPR09,
author = {Luca Paolini and
Mauro Piccolo and
Simona Ronchi Della Rocca},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Logical Semantics for Stability},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {429--449},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.101},
doi = {10.1016/J.ENTCS.2009.07.101},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PaoliniPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SadrzadehD09,
author = {Mehrnoosh Sadrzadeh and
Roy Dyckhoff},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Positive Logic with Adjoint Modalities: Proof Theory, Semantics and
Reasoning about Information},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {451--470},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.102},
doi = {10.1016/J.ENTCS.2009.07.102},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SadrzadehD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schmidt09,
author = {David A. Schmidt},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Abstract Interpretation From a Denotational-semantics Perspective},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {19--37},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.082},
doi = {10.1016/J.ENTCS.2009.07.082},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schmidt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Staton09,
author = {Sam Staton},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Two Cotensors in One: Presentations of Algebraic Theories for Local
State and Fresh Names},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {471--490},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.103},
doi = {10.1016/J.ENTCS.2009.07.103},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Staton09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2009,
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/249/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-06 09:43 CEST from data curated 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:
