Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs38.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1010-5565,
  author       = {Christian Lambertz and
                  Mila E. Majster{-}Cederbaum},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {Port Protocols for Deadlock-Freedom of Component Systems},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {7--11},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.3},
  doi          = {10.4204/EPTCS.38.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5565.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5566,
  author       = {Marco Carbone and
                  S{\o}ren Debois},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {A Graphical Approach to Progress for Structured Communication in Web
                  Services},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {13--27},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.4},
  doi          = {10.4204/EPTCS.38.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5566.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5567,
  author       = {Alejandro Mario Hernandez and
                  Flemming Nielson},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {History-sensitive versus future-sensitive approaches to security in
                  distributed systems},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {29--43},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.5},
  doi          = {10.4204/EPTCS.38.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5567.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5568,
  author       = {Chiara Bodei and
                  Viet Dung Dinh and
                  Gian{-}Luigi Ferrari},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {Safer in the Clouds (Extended Abstract)},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {45--49},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.6},
  doi          = {10.4204/EPTCS.38.6},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5568.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5569,
  author       = {Ivan Lanese},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {Static vs Dynamic SAGAs},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {51--65},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.7},
  doi          = {10.4204/EPTCS.38.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5569.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5570,
  author       = {Massimo Bartoletti and
                  Roberto Zunino},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {Primitives for Contract-based Synchronization},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {67--82},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.8},
  doi          = {10.4204/EPTCS.38.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5570.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5571,
  author       = {Matthieu Lemerre and
                  Vincent David and
                  Christophe Aussagu{\`{e}}s and
                  Guy Vidal{-}Naquet},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {An Introduction to Time-Constrained Automata},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {83--98},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.9},
  doi          = {10.4204/EPTCS.38.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5571.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5572,
  author       = {Harsh Beohar and
                  Pieter J. L. Cuijpers},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {A theory of desynchronisable closed loop system},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {99--114},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.10},
  doi          = {10.4204/EPTCS.38.10},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5572.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1010-5573,
  author       = {Renaud Sirdey and
                  Pascal Aubry},
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {A linear programming approach to general dataflow process network
                  verification and dimensioning},
  booktitle    = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  pages        = {115--119},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38.11},
  doi          = {10.4204/EPTCS.38.11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5573.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1010-5308,
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38},
  doi          = {10.4204/EPTCS.38},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5308.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.