Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/Abadi07,
  author       = {Mart{\'{\i}}n Abadi},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Access Control in a Core Calculus of Dependency},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {5--31},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.002},
  doi          = {10.1016/J.ENTCS.2007.02.002},
  timestamp    = {Tue, 24 Jan 2023 11:36:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Abadi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Abramsky07,
  author       = {Samson Abramsky},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Event Domains, Stable Functions and Proof-Nets},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {33--67},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.003},
  doi          = {10.1016/J.ENTCS.2007.02.003},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Abramsky07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BattenfeldSS07,
  author       = {Ingo Battenfeld and
                  Matthias Schr{\"{o}}der and
                  Alex Simpson},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {A Convenient Category of Domains},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {69--99},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.004},
  doi          = {10.1016/J.ENTCS.2007.02.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BattenfeldSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlutePP07,
  author       = {Richard Blute and
                  Prakash Panangaden and
                  Dorette Pronk},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Conformal Field Theory as a Nuclear Functor},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {101--132},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.005},
  doi          = {10.1016/J.ENTCS.2007.02.005},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BlutePP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CalcagnoGZ07,
  author       = {Cristiano Calcagno and
                  Philippa Gardner and
                  Uri Zarfaty},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Local Reasoning about Data Update},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {133--175},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.006},
  doi          = {10.1016/J.ENTCS.2007.02.006},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CalcagnoGZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CardelliFW07,
  author       = {Luca Cardelli and
                  Marcelo P. Fiore and
                  Glynn Winskel},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Preface},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {1--4},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.001},
  doi          = {10.1016/J.ENTCS.2007.02.001},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CardelliFW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CardelliGG07,
  author       = {Luca Cardelli and
                  Philippa Gardner and
                  Giorgio Ghelli},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Manipulating Trees with Hidden Labels},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {177--201},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.007},
  doi          = {10.1016/J.ENTCS.2007.02.007},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CardelliGG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CattaniF07,
  author       = {Gian Luca Cattani and
                  Marcelo P. Fiore},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {The Bicategory-Theoretic Solution of Recursive Domain Equations},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {203--222},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.008},
  doi          = {10.1016/J.ENTCS.2007.02.008},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CattaniF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CloustonP07,
  author       = {Ranald Alexander Clouston and
                  Andrew M. Pitts},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Nominal Equational Logic},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {223--257},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.009},
  doi          = {10.1016/J.ENTCS.2007.02.009},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CloustonP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CraryH07,
  author       = {Karl Crary and
                  Robert Harper},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Syntactic Logical Relations for Polymorphic and Recursive Types},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {259--299},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.010},
  doi          = {10.1016/J.ENTCS.2007.02.010},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CraryH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Curien07,
  author       = {Pierre{-}Louis Curien},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Definability and Full Abstraction},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {301--310},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.011},
  doi          = {10.1016/J.ENTCS.2007.02.011},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Curien07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DattaDMR07,
  author       = {Anupam Datta and
                  Ante Derek and
                  John C. Mitchell and
                  Arnab Roy},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Protocol Composition Logic {(PCL)}},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {311--358},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.012},
  doi          = {10.1016/J.ENTCS.2007.02.012},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DattaDMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DengGHMZ07,
  author       = {Yuxin Deng and
                  Rob J. van Glabbeek and
                  Matthew Hennessy and
                  Carroll Morgan and
                  Chenyi Zhang},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Remarks on Testing Probabilistic Processes},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {359--397},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.013},
  doi          = {10.1016/J.ENTCS.2007.02.013},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DengGHMZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HonsellLL07,
  author       = {Furio Honsell and
                  Marina Lenisa and
                  Luigi Liquori},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {A Framework for Defining Logical Frameworks},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {399--436},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.014},
  doi          = {10.1016/J.ENTCS.2007.02.014},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HonsellLL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandP07,
  author       = {Martin Hyland and
                  John Power},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {The Category Theoretic Understanding of Universal Algebra: Lawvere
                  Theories and Monads},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {437--458},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.019},
  doi          = {10.1016/J.ENTCS.2007.02.019},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HylandP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MislovePW07,
  author       = {Michael W. Mislove and
                  Dusko Pavlovic and
                  James Worrell},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Labelled Markov Processes as Generalised Stochastic Relations},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {459--478},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.015},
  doi          = {10.1016/J.ENTCS.2007.02.015},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MislovePW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Moggi07,
  author       = {Eugenio Moggi},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Structuring Operational Semantics: Simplification and Computation},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {479--497},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.016},
  doi          = {10.1016/J.ENTCS.2007.02.016},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Moggi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsenKS07,
  author       = {Mogens Nielsen and
                  Karl Krukow and
                  Vladimiro Sassone},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {A Bayesian Model for Event-based Trust},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {499--521},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.017},
  doi          = {10.1016/J.ENTCS.2007.02.017},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NielsenKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonN07,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Heuristics for Safety and Security Constraints},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {523--543},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.018},
  doi          = {10.1016/J.ENTCS.2007.02.018},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NielsonN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PymT07,
  author       = {David J. Pym and
                  Chris M. N. Tofts},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Systems Modelling via Resources and Processes: Philosophy, Calculus,
                  Semantics, and Logic},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {545--587},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.020},
  doi          = {10.1016/J.ENTCS.2007.02.020},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PymT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stirling07,
  author       = {Colin Stirling},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Model-Checking Games for Typed lambda-Calculi},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {589--609},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.021},
  doi          = {10.1016/J.ENTCS.2007.02.021},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Stirling07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Winskel07,
  author       = {Glynn Winskel},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Event Structures with Symmetry},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {611--652},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.022},
  doi          = {10.1016/J.ENTCS.2007.02.022},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Winskel07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007plotkin,
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/172/suppl/C},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2007plotkin.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics