default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/ice:"
download as .bib file
@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}
}
@inproceedings{DBLP:journals/corr/abs-2208-04630,
author = {Eduard Kamburjan and
Nathan Wasser},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {The Right Kind of Non-Determinism: Using Concurrency to Verify {C}
Programs with Underspecified Semantics},
booktitle = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
pages = {1--16},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365.1},
doi = {10.4204/EPTCS.365.1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-04631,
author = {Gerard Tabone and
Adrian Francalanza},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Session Fidelity for ElixirST: {A} Session-Based Type System for Elixir
Modules},
booktitle = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
pages = {17--36},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365.2},
doi = {10.4204/EPTCS.365.2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-04632,
author = {Luc Edixhoven and
Sung{-}Shik Jongmans and
Jos{\'{e}} Proen{\c{c}}a and
Guillermina Cledou},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Branching Pomsets for Choreographies},
booktitle = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
pages = {37--52},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365.3},
doi = {10.4204/EPTCS.365.3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-04634,
author = {Franco Barbanera and
Ivan Lanese and
Emilio Tuosto},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {On Composing Communicating Systems},
booktitle = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
pages = {53--68},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365.4},
doi = {10.4204/EPTCS.365.4},
timestamp = {Sat, 15 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-04635,
author = {Matteo Cimini},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Lang-n-Send Extended: Sending Regular Expressions to Monitors},
booktitle = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
pages = {69--84},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365.5},
doi = {10.4204/EPTCS.365.5},
timestamp = {Sat, 15 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2208-04086,
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365},
doi = {10.4204/EPTCS.365},
timestamp = {Sat, 15 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2007-08187,
author = {Cl{\'{e}}ment Aubert and
Daniele Varacca},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Process, Systems and Tests: Three Layers in Concurrent Computation},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {1--21},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.1},
doi = {10.4204/EPTCS.347.1},
timestamp = {Tue, 21 Mar 2023 21:05:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-08187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-00145,
author = {Cinzia Di Giusto and
Lo{\"{\i}}c Germerie Guizouarn and
{\'{E}}tienne Lozes},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Towards Generalised Half-Duplex Systems},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {22--37},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.2},
doi = {10.4204/EPTCS.347.2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-00146,
author = {Bas van den Heuvel and
Jorge A. P{\'{e}}rez},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Deadlock Freedom for Asynchronous and Cyclic Process Networks},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {38--56},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.3},
doi = {10.4204/EPTCS.347.3},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00146.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-00147,
author = {Maurice Laveaux and
Tim A. C. Willemse},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Decomposing Monolithic Processes in a Process Algebra with Multi-actions},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {57--76},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.4},
doi = {10.4204/EPTCS.347.4},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-02214,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {A Semantic Model for Interacting Cyber-Physical Systems},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {77--95},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.5},
doi = {10.4204/EPTCS.347.5},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-14908,
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347},
doi = {10.4204/EPTCS.347},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-14908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-07989,
author = {Zorica Savanovic and
Letterio Galletta and
Hugo Torres Vieira},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {A type language for message passing component-based systems},
booktitle = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
pages = {3--24},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324.3},
doi = {10.4204/EPTCS.324.3},
timestamp = {Tue, 21 Mar 2023 21:05:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-07990,
author = {Alex Coto and
Roberto Guanciale and
Emilio Tuosto},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {An Abstract Framework for Choreographic Testing},
booktitle = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
pages = {43--60},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324.5},
doi = {10.4204/EPTCS.324.5},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-07991,
author = {Ugo de'Liguoro and
Hern{\'{a}}n C. Melgratti and
Emilio Tuosto},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Towards Refinable Choreographies},
booktitle = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
pages = {61--77},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324.6},
doi = {10.4204/EPTCS.324.6},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-08769,
author = {Andr{\'{e}} Trindade and
Jo{\~{a}}o Mota and
Ant{\'{o}}nio Ravara},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Typestates to Automata and back: a tool},
booktitle = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
pages = {25--42},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324.4},
doi = {10.4204/EPTCS.324.4},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-08769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-08871,
author = {Ronny Tredup and
Evgeny Erofeev},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {On the Parameterized Complexity of Synthesizing Boolean Petri Nets
With Restricted Dependency},
booktitle = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
pages = {78--95},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324.7},
doi = {10.4204/EPTCS.324.7},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-08871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-07628,
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324},
doi = {10.4204/EPTCS.324},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-09927,
author = {Ivan Prokic},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {The C\({}_{\mbox{{\(\pi\)}}}\)-calculus: a Model for Confidential
Name Passing},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {115--136},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.8},
doi = {10.4204/EPTCS.304.8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05967,
author = {Hao Zeng and
Alexander Kurz and
Emilio Tuosto},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Interface Automata for Choreographies},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {1--19},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.1},
doi = {10.4204/EPTCS.304.1},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05968,
author = {Ronny Tredup},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Tracking Down the Bad Guys: Reset and Set Make Feasibility for Flip-Flop
Net Derivatives NP-complete},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {20--37},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.2},
doi = {10.4204/EPTCS.304.2},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05969,
author = {Maurizio Murgia},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {A Note On Compliance Relations And Fixed Points},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {38--47},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.3},
doi = {10.4204/EPTCS.304.3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05969.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05970,
author = {Wen Kokke},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Rusty Variation: Deadlock-free Sessions with Failure in Rust},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {48--60},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.4},
doi = {10.4204/EPTCS.304.4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05971,
author = {Matteo Cimini},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Towards Gradually Typed Capabilities in the Pi-Calculus},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {61--76},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.5},
doi = {10.4204/EPTCS.304.5},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05972,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Open Multiparty Sessions},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {77--96},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.6},
doi = {10.4204/EPTCS.304.6},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05973,
author = {Diego Marmsoler and
Ana Petrovska},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Detecting Architectural Erosion using Runtime Verification},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {97--114},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.7},
doi = {10.4204/EPTCS.304.7},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05974,
author = {Yi Xiao and
Emilio Tuosto},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {On Learning Nominal Automata with Binders},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {137--155},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.9},
doi = {10.4204/EPTCS.304.9},
timestamp = {Tue, 10 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-05242,
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304},
doi = {10.4204/EPTCS.304},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02468,
author = {Franco Barbanera and
Ugo de'Liguoro and
Rolf Hennicker},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Global Types for Open Systems},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {4--20},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.4},
doi = {10.4204/EPTCS.279.4},
timestamp = {Mon, 03 Dec 2018 16:41:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02469,
author = {Roberto Guanciale and
Emilio Tuosto},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Realisability of Pomsets via Communicating Automata},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {37--51},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.6},
doi = {10.4204/EPTCS.279.6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02470,
author = {Eduard Kamburjan and
Reiner H{\"{a}}hnle},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Prototyping Formal System Models with Active Objects},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {52--67},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.7},
doi = {10.4204/EPTCS.279.7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02471,
author = {Alexandre Mansard},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Unfolding of Finite Concurrent Automata},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {68--84},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.8},
doi = {10.4204/EPTCS.279.8},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02472,
author = {Maurizio Murgia},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {On Urgency in Asynchronous Timed Session Types},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {85--94},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.9},
doi = {10.4204/EPTCS.279.9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-08038,
author = {Eric Fabre and
G. Michele Pinna},
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Toward a Uniform Approach to the Unfolding of Nets},
booktitle = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
pages = {21--36},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279.5},
doi = {10.4204/EPTCS.279.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-08038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1810-02053,
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279},
doi = {10.4204/EPTCS.279},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-02319,
author = {Dan R. Ghica and
Khulood AlYahya},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {On the Learnability of Programming Language Semantics},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {57--75},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.7},
doi = {10.4204/EPTCS.261.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11208,
author = {Tobias Prehn and
Stephan Mennicke},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Keep it Fair: Equivalences},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {5--16},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.4},
doi = {10.4204/EPTCS.261.4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11209,
author = {Franco Barbanera and
Ugo de'Liguoro},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Session Types for Orchestrated Interactions},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {17--36},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.5},
doi = {10.4204/EPTCS.261.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11210,
author = {Chiara Bodei and
Pierpaolo Degano and
Letterio Galletta and
Emilio Tuosto},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Tool Supported Analysis of IoT},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {37--56},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.6},
doi = {10.4204/EPTCS.261.6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11211,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {On Asynchrony and Choreographies},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {76--90},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.8},
doi = {10.4204/EPTCS.261.8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1711-10708,
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
year = {2017},
url = {http://arxiv.org/abs/1711.10708},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AzadbakhtBS16,
author = {Keyvan Azadbakht and
Frank S. de Boer and
Vlad Serbanescu},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Multi-Threaded Actors},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {51--66},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.4},
doi = {10.4204/EPTCS.223.4},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AzadbakhtBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BernadetL16,
author = {Alexis Bernadet and
Ivan Lanese},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {A Modular Formalization of Reversibility for Concurrent Models and
Languages},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {98--112},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.7},
doi = {10.4204/EPTCS.223.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernadetL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BodeiDFG16,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {A Step Towards Checking Security in IoT},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {128--142},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.9},
doi = {10.4204/EPTCS.223.9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BodeiDFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BolognesiC16,
author = {Tommaso Bolognesi and
Vincenzo Ciancia},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Nominal Cellular Automata},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {24--35},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.2},
doi = {10.4204/EPTCS.223.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BolognesiC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Fowler16,
author = {Simon Fowler},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {An Erlang Implementation of Multiparty Session Actors},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {36--50},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.3},
doi = {10.4204/EPTCS.223.3},
timestamp = {Wed, 22 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Fowler16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GuancialeT16,
author = {Roberto Guanciale and
Emilio Tuosto},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {An Abstract Semantics of the Global View of Choreographies},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {67--82},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.5},
doi = {10.4204/EPTCS.223.5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuancialeT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HosseinRBM16,
author = {Seyed H. Haeri (Hossein) and
Peter Van Roy and
Carlos Baquero and
Christopher Meiklejohn},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Worlds of Events: Deduction with Partial Knowledge about Causality},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {113--127},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.8},
doi = {10.4204/EPTCS.223.8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HosseinRBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MavridouBBS16,
author = {Anastasia Mavridou and
Eduard Baranov and
Simon Bliudze and
Joseph Sifakis},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Architecture Diagrams: {A} Graphical Language for Architecture Style
Specification},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {83--97},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.6},
doi = {10.4204/EPTCS.223.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MavridouBBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MichalewskiMB16,
author = {Henryk Michalewski and
Matteo Mio and
Mikolaj Bojanczyk},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {On the Regular Emptiness Problem of Subzero Automata},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {1--23},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.1},
doi = {10.4204/EPTCS.223.1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/MichalewskiMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BartolettiHKV16,
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223},
doi = {10.4204/EPTCS.223},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BartolettiHKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:journals/corr/Barbanerad13,
author = {Franco Barbanera and
Ugo de'Liguoro},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Loosening the notions of compliance and sub-behaviour in client/server
systems},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {94--110},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.10},
doi = {10.4204/EPTCS.166.10},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/Barbanerad13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BartolettiCP14,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {A note on two notions of compliance},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {86--93},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.9},
doi = {10.4204/EPTCS.166.9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BasileDFT14,
author = {Davide Basile and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Emilio Tuosto},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {From Orchestration to Choreography through Contract Automata},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {67--85},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.8},
doi = {10.4204/EPTCS.166.8},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BasileDFT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Given-Wilson14,
author = {Thomas Given{-}Wilson},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {An Intensional Concurrent Faithful Encoding of Turing Machines},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {21--37},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.4},
doi = {10.4204/EPTCS.166.4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Given-Wilson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JongmansA14,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Toward Sequentializing Overparallelized Protocol Code},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {38--44},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.5},
doi = {10.4204/EPTCS.166.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JongmansA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LatellaLM14,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {On-the-fly Probabilistic Model Checking},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {45--59},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.6},
doi = {10.4204/EPTCS.166.6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LatellaLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NininH14,
author = {Nicolas Ninin and
Emmanuel Haucourt},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {The Boolean Algebra of Cubical Areas as a Tensor Product in the Category
of Semilattices with Zero},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {60--66},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.7},
doi = {10.4204/EPTCS.166.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NininH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NormannPH14,
author = {H{\aa}kon Normann and
Cristian Prisacariu and
Thomas T. Hildebrandt},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Concurrency Models with Causality and Events as Psi-calculi},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {4--20},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.3},
doi = {10.4204/EPTCS.166.3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NormannPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LaneseLSV14,
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166},
doi = {10.4204/EPTCS.166},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LaneseLSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BaranovB13,
author = {Eduard Baranov and
Simon Bliudze},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Extended Connectors: Structuring Glue Operators in {BIP}},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {20--35},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.3},
doi = {10.4204/EPTCS.131.3},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/BaranovB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BartolettiCGZ13,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Paolo Di Giamberardino and
Roberto Zunino},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Contract agreements via logic},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {5--19},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.2},
doi = {10.4204/EPTCS.131.2},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiCGZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LangeS13,
author = {Julien Lange and
Alceste Scalas},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Choreography Synthesis as Contract Agreement},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {52--67},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.6},
doi = {10.4204/EPTCS.131.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LangeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PalmskogDLJ13,
author = {Karl Palmskog and
Mads Dam and
Andreas Lundblad and
Ali Jafari},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {{ABS-NET:} Fully Decentralized Runtime Adaptation for Distributed
Objects},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {85--100},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.8},
doi = {10.4204/EPTCS.131.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PalmskogDLJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PoyiasT13,
author = {Kyriakos Poyias and
Emilio Tuosto},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {On Recovering from Run-time Misbehaviour in {ADR}},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {68--84},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.7},
doi = {10.4204/EPTCS.131.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PoyiasT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Xu13a,
author = {Xian Xu},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {On Context Bisimulation for Parameterized Higher-order Processes},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {37--51},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.5},
doi = {10.4204/EPTCS.131.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Xu13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CarboneLLS13,
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131},
doi = {10.4204/EPTCS.131},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CarboneLLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3874,
author = {Andr{\'{e}}s Aristiz{\'{a}}bal and
Filippo Bonchi and
Luis Fernando Pino and
Frank Valencia},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Reducing Weak to Strong Bisimilarity in {CCP}},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {2--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.2},
doi = {10.4204/EPTCS.104.2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3875,
author = {{\'{E}}tienne Lozes and
Jules Villard},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Shared Contract-Obedient Endpoints},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {17--31},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.3},
doi = {10.4204/EPTCS.104.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3876,
author = {Gabriele Costa and
Fabio Martinelli and
Artsiom Yautsiukhin},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Metric-Aware Secure Service Orchestration},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {32--46},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.4},
doi = {10.4204/EPTCS.104.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3877,
author = {Simon Bliudze},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Towards a Theory of Glue},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {48--66},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.6},
doi = {10.4204/EPTCS.104.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3878,
author = {Dan R. Ghica and
Zaid Al{-}Zobaidi},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Coherent Minimisation: Towards efficient tamper-proof compilation},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {83--98},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.8},
doi = {10.4204/EPTCS.104.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3879,
author = {Jurriaan Rot and
Irina Mariuca Asavoae and
Frank S. de Boer and
Marcello M. Bonsangue and
Dorel Lucanu},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Interacting via the Heap in the Presence of Recursion},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {99--113},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.9},
doi = {10.4204/EPTCS.104.9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-4444,
author = {Kyriakos Poyias and
Emilio Tuosto},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Enforcing Architectural Styles in Presence of Unexpected Distributed
Reconfigurations},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {67--82},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.7},
doi = {10.4204/EPTCS.104.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-4444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1212-3458,
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104},
doi = {10.4204/EPTCS.104},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 26 Sep 2024 16:29:51 +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 = {Sun, 06 Oct 2024 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 = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Thu, 26 Sep 2024 16:29:51 +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 = {Sun, 06 Oct 2024 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 = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sun, 06 Oct 2024 01:00:00 +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:conf/ice/2008,
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/3},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ice/2008.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}
}
@inproceedings{DBLP:journals/entcs/BalbianiCF09,
author = {Philippe Balbiani and
Fahima Cheikh and
Guillaume Feuillade},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration
With Applications to Web Services Composition},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {3--18},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.036},
doi = {10.1016/J.ENTCS.2009.06.036},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BalbianiCF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeauquierCL09,
author = {Dani{\`{e}}le Beauquier and
Jo{\"{e}}lle Cohen and
Ruggero Lanotte},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Security Policies Enforcement Using Finite Edit Automata},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {19--35},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.037},
doi = {10.1016/J.ENTCS.2009.06.037},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeauquierCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiGSTT09,
author = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Preface},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.035},
doi = {10.1016/J.ENTCS.2009.06.035},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiGSTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraccialiBL09,
author = {Andrea Bracciali and
Roberto Bruni and
Alberto Lluch{-}Lafuente},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {On Symbolic Semantics for Name-decorated Contexts},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {37--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.038},
doi = {10.1016/J.ENTCS.2009.06.038},
timestamp = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BraccialiBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FossatiV09,
author = {Luca Fossati and
Daniele Varacca},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {A Petri Net Model of Handshake Protocols},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {59--76},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.039},
doi = {10.1016/J.ENTCS.2009.06.039},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FossatiV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlabbeekGS09,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Symmetric and Asymmetric Asynchronous Interaction},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {77--95},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.040},
doi = {10.1016/J.ENTCS.2009.06.040},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlabbeekGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Heindel09,
author = {Tobias Heindel},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Towards Secrecy for Rewriting in Weakly Adhesive Categories},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {97--115},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.041},
doi = {10.1016/J.ENTCS.2009.06.041},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Heindel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennessyG09,
author = {Matthew Hennessy and
Manish Gaur},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Counting the Cost in the Picalculus (Extended Abstract)},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {117--129},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.042},
doi = {10.1016/J.ENTCS.2009.06.042},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennessyG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RathkeS09,
author = {Julian Rathke and
Pawel Sobocinski},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Making the Unobservable, Unobservable},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {131--144},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.043},
doi = {10.1016/J.ENTCS.2009.06.043},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RathkeS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-10-15 21:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
