Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-0911-5444,
  author       = {Marco Carbone and
                  Joshua D. Guttman},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {Choreographies with Secure Boxes and Compromised Principals},
  booktitle    = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  pages        = {1--15},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12.1},
  doi          = {10.4204/EPTCS.12.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-5444.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-5445,
  author       = {Dave Clarke and
                  Jos{\'{e}} Proen{\c{c}}a},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {Coordination via Interaction Constraints {I:} Local Logic},
  booktitle    = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  pages        = {17--39},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12.2},
  doi          = {10.4204/EPTCS.12.2},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-5445.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-5446,
  author       = {Mohamad Jaber and
                  Ananda Basu and
                  Simon Bliudze},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {Symbolic Implementation of Connectors in {BIP}},
  booktitle    = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  pages        = {41--55},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12.3},
  doi          = {10.4204/EPTCS.12.3},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-5446.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-5447,
  author       = {Christian Krause},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {Integrated Structure and Semantics for Reo Connectors and Petri Nets},
  booktitle    = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  pages        = {57--69},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12.4},
  doi          = {10.4204/EPTCS.12.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-5447.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-5449,
  author       = {Luca Padovani},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {Session Types at the Mirror},
  booktitle    = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  pages        = {71--86},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12.5},
  doi          = {10.4204/EPTCS.12.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-5449.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0911-5525,
  author       = {Paolo Torrini and
                  Reiko Heckel},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {Towards an embedding of Graph Transformation in Intuitionistic Linear
                  Logic},
  booktitle    = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  pages        = {99--115},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12.7},
  doi          = {10.4204/EPTCS.12.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-5525.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-0912-0759,
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12},
  doi          = {10.4204/EPTCS.12},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-0759.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-0555,
  author       = {Pawel Sobocinski},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Emilio Tuosto},
  title        = {A non-interleaving process calculus for multi-party synchronisation},
  booktitle    = {Proceedings 2nd Interaction and Concurrency Experience: Structured
                  Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
  series       = {{EPTCS}},
  volume       = {12},
  pages        = {87--98},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.12.6},
  doi          = {10.4204/EPTCS.12.6},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-0555.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.