default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs172.bht:"
@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} }
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.