Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-0911-1862,
  author       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Joshua Sack},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Characteristic Formulae for Fixed-Point Semantics: {A} General Framework},
  booktitle    = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  pages        = {1--15},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8.1},
  doi          = {10.4204/EPTCS.8.1},
  timestamp    = {Thu, 14 Oct 2021 09:15:37 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-1862.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-2033,
  author       = {Tom{\'{a}}s Babiak and
                  Vojtech Reh{\'{a}}k and
                  Jan Strejcek},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Almost Linear B{\"{u}}chi Automata},
  booktitle    = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  pages        = {16--25},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8.2},
  doi          = {10.4204/EPTCS.8.2},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-2033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-2034,
  author       = {Edgar G. Daylight and
                  Sandeep K. Shukla and
                  Davide Sergio},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Expressing the Behavior of Three Very Different Concurrent Systems
                  by Using Natural Extensions of Separation Logic},
  booktitle    = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  pages        = {26--40},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8.3},
  doi          = {10.4204/EPTCS.8.3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-2034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-2035,
  author       = {Maciej Gazda and
                  Wan J. Fokkink},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Modal Logic and the Approximation Induction Principle},
  booktitle    = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  pages        = {41--50},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8.4},
  doi          = {10.4204/EPTCS.8.4},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-2035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-2036,
  author       = {Joshua D. Guttman},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Security Theorems via Model Theory},
  booktitle    = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  pages        = {51--65},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8.5},
  doi          = {10.4204/EPTCS.8.5},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-2036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-2760,
  author       = {Katrin Iltgen and
                  Walter Vogler},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Robustness of a bisimulation-type faster-than preorder},
  booktitle    = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  pages        = {66--79},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8.6},
  doi          = {10.4204/EPTCS.8.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-2760.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-0911-3189,
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8},
  doi          = {10.4204/EPTCS.8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-3189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}