Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/AubertC15,
  author       = {Cl{\'{e}}ment Aubert and
                  Ioana Cristescu},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Reversible Barbed Congruence on Configuration Structures},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {68--85},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.7},
  doi          = {10.4204/EPTCS.189.7},
  timestamp    = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AubertC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BarbaneraBd15,
  author       = {Franco Barbanera and
                  Steffen van Bakel and
                  Ugo de'Liguoro},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Orchestrated Session Compliance},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {21--36},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.4},
  doi          = {10.4204/EPTCS.189.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BarbaneraBd15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BestS15,
  author       = {Eike Best and
                  Uli Schlachter},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Analysis of Petri Nets and Transition Systems},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {53--67},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.6},
  doi          = {10.4204/EPTCS.189.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BestS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DokterJAB15,
  author       = {Kasper Dokter and
                  Sung{-}Shik Jongmans and
                  Farhad Arbab and
                  Simon Bliudze},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Relating {BIP} and Reo},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {3--20},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.3},
  doi          = {10.4204/EPTCS.189.3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DokterJAB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Given-WilsonL15,
  author       = {Thomas Given{-}Wilson and
                  Axel Legay},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {On the Expressiveness of Joining},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {99--113},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.9},
  doi          = {10.4204/EPTCS.189.9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Given-WilsonL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LuttikY15,
  author       = {Bas Luttik and
                  Fei Yang},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Executable Behaviour and the {\(\pi\)}-Calculus (extended abstract)},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {37--52},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.5},
  doi          = {10.4204/EPTCS.189.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LuttikY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SantosMV15,
  author       = {C{\'{e}}sar Santos and
                  Francisco Martins and
                  Vasco Thudichum Vasconcelos},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Deductive Verification of Parallel Programs Using Why3},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {128--142},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.11},
  doi          = {10.4204/EPTCS.189.11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SantosMV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ScalasB15,
  author       = {Alceste Scalas and
                  Massimo Bartoletti},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {The {LTS} WorkBench},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {86--98},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.8},
  doi          = {10.4204/EPTCS.189.8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ScalasB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/XuYL15,
  author       = {Xian Xu and
                  Qiang Yin and
                  Huan Long},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {On the Computation Power of Name Parameterization in Higher-order
                  Processes},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {114--127},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.10},
  doi          = {10.4204/EPTCS.189.10},
  timestamp    = {Mon, 23 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/XuYL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/KnightLLV15,
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189},
  doi          = {10.4204/EPTCS.189},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/KnightLLV15.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.