Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1108-0463,
  author       = {Tom Hirschowitz and
                  Damien Pous},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Innocent strategies as presheaves and interactive equivalences for
                  {CCS}},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {2--24},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.2},
  doi          = {10.4204/EPTCS.59.2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0463.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0464,
  author       = {Vincenzo Ciancia},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Interaction and observation, categorically},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {25--36},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.3},
  doi          = {10.4204/EPTCS.59.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0464.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0465,
  author       = {Andrei Dorman and
                  Tobias Heindel},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Structured Operational Semantics for Graph Rewriting},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {37--51},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.4},
  doi          = {10.4204/EPTCS.59.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0465.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0466,
  author       = {Viviana Bono and
                  Luca Padovani},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Polymorphic Endpoint Types for Copyless Message Passing},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {52--67},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.5},
  doi          = {10.4204/EPTCS.59.5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0466.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0467,
  author       = {Ilias Garnier and
                  Christophe Aussagu{\`{e}}s and
                  Vincent David and
                  Guy Vidal{-}Naquet},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {On the reaction time of some synchronous systems},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {69--83},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.7},
  doi          = {10.4204/EPTCS.59.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0467.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0468,
  author       = {Sung{-}Shik T. Q. Jongmans and
                  Farhad Arbab},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Correlating Formal Semantic Models of Reo Connectors: Connector Coloring
                  and Constraint Automata},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {84--103},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.8},
  doi          = {10.4204/EPTCS.59.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0468.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0469,
  author       = {Timothy A. S. Davidson and
                  Simon J. Gay and
                  Rajagopal Nagarajan},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Formal Analysis of Quantum Systems using Process Calculus},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {104--110},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.9},
  doi          = {10.4204/EPTCS.59.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0469.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0470,
  author       = {Laura Bocchi and
                  Julien Lange and
                  Emilio Tuosto},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Amending Contracts for Choreographies},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {111--129},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.10},
  doi          = {10.4204/EPTCS.59.10},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0470.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0471,
  author       = {Massimo Bartoletti and
                  Emilio Tuosto and
                  Roberto Zunino},
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Contracts in distributed systems},
  booktitle    = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  pages        = {130--147},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59.11},
  doi          = {10.4204/EPTCS.59.11},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0471.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1108-0144,
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59},
  doi          = {10.4204/EPTCS.59},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0144.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.