Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-2308-10651,
  author       = {Davide Basile and
                  Maurice H. ter Beek},
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Research Challenges in Orchestration Synthesis},
  booktitle    = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  pages        = {73--90},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383.5},
  doi          = {10.4204/EPTCS.383.5},
  timestamp    = {Mon, 11 Sep 2023 15:45:27 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-10651.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2308-10652,
  author       = {Wolfgang Jeltsch and
                  Javier D{\'{\i}}az},
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Proofs about Network Communication: For Humans and Machines},
  booktitle    = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383.1},
  doi          = {10.4204/EPTCS.383.1},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-10652.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2308-10653,
  author       = {Franco Barbanera and
                  Mariangiola Dezani{-}Ciancaglini},
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Partially Typed Multiparty Sessions},
  booktitle    = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  pages        = {15--34},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383.2},
  doi          = {10.4204/EPTCS.383.2},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-10653.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2308-10654,
  author       = {Seyed Hossein Haeri and
                  Peter W. Thompson and
                  Peter Van Roy and
                  Magne Haveraaen and
                  Neil J. Davies and
                  Mikhail Barash and
                  Kevin Hammond and
                  James Chapman},
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Algebraic Reasoning About Timeliness},
  booktitle    = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  pages        = {35--54},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383.3},
  doi          = {10.4204/EPTCS.383.3},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-10654.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2308-10655,
  author       = {Manel Barkallah and
                  Jean{-}Marie Jacquet},
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness,
                  and Efficiency Issues},
  booktitle    = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  pages        = {55--72},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383.4},
  doi          = {10.4204/EPTCS.383.4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-10655.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2308-08920,
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383},
  doi          = {10.4204/EPTCS.383},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-08920.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}