Search dblp for Publications

export results for "toc:db/conf/express/express2008.bht:"

 download as .bib file

@proceedings{DBLP:conf/express/2008,
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/242/issue/1},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/express/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Amadio09,
  author       = {Roberto M. Amadio},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {On Convergence-sensitive Bisimulation and the Embedding of {CCS} in
                  Timed {CCS}},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.010},
  doi          = {10.1016/J.ENTCS.2009.06.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Amadio09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AntonikHLNW09,
  author       = {Adam Antonik and
                  Michael Huth and
                  Kim Guldstrand Larsen and
                  Ulrik Nyman and
                  Andrzej Wasowski},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {EXPTIME-complete Decision Problems for Modal and Mixed Specifications},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {19--33},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.011},
  doi          = {10.1016/J.ENTCS.2009.06.011},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AntonikHLNW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaetenCT09,
  author       = {Jos C. M. Baeten and
                  Pieter J. L. Cuijpers and
                  P. J. A. van Tilburg},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {A Basic Parallel Process as a Parallel Pushdown Automaton},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {35--48},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.012},
  doi          = {10.1016/J.ENTCS.2009.06.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaetenCT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BartolettiDFZ09,
  author       = {Massimo Bartoletti and
                  Pierpaolo Degano and
                  Gian{-}Luigi Ferrari and
                  Roberto Zunino},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {Hard Life with Weak Binders},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {49--72},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.013},
  doi          = {10.1016/J.ENTCS.2009.06.013},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BartolettiDFZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BonchiGM09,
  author       = {Filippo Bonchi and
                  Fabio Gadducci and
                  Giacoma Valentina Monreale},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical
                  Encoding)},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {73--98},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.014},
  doi          = {10.1016/J.ENTCS.2009.06.014},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BonchiGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BugliesiF09,
  author       = {Michele Bugliesi and
                  Riccardo Focardi},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {Security Abstractions and Intruder Models (Extended Abstract)},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {99--112},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.015},
  doi          = {10.1016/J.ENTCS.2009.06.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BugliesiF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BundgaardGHH09,
  author       = {Mikkel Bundgaard and
                  Jens Chr. Godskesen and
                  Bj{\o}rn Haagensen and
                  Hans H{\"{u}}ttel},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {Decidable Fragments of a Higher Order Calculus with Locations},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {113--138},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.016},
  doi          = {10.1016/J.ENTCS.2009.06.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BundgaardGHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Froschle09,
  author       = {Sibylle B. Fr{\"{o}}schle},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {Adding Branching to the Strand Space Model},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {139--159},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.017},
  doi          = {10.1016/J.ENTCS.2009.06.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Froschle09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Godskesen09,
  author       = {Jens Chr. Godskesen},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {A Calculus for Mobile Ad-hoc Networks with Static Location Binding},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {161--183},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.018},
  doi          = {10.1016/J.ENTCS.2009.06.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Godskesen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HildebrandtG09,
  author       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  editor       = {Thomas T. Hildebrandt and
                  Daniele Gorla},
  title        = {Preface},
  booktitle    = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.009},
  doi          = {10.1016/J.ENTCS.2009.06.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HildebrandtG09.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.