Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/eptcs/eptcs155.bht:"
download as .bib file
@inproceedings{DBLP:journals/corr/BlomDH14,
author = {Stefan Blom and
Saeed Darabi and
Marieke Huisman},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Verifying Parallel Loops with Separation Logic},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {47--53},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.7},
doi = {10.4204/EPTCS.155.7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlomDH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Chen14g,
author = {Tzu{-}Chun Chen},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Lightening Global Types},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {38--46},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.6},
doi = {10.4204/EPTCS.155.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chen14g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Dezani-CiancagliniPP14,
author = {Mariangiola Dezani{-}Ciancaglini and
Luca Padovani and
Jovanka Pantovic},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Session Type Isomorphisms},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {61--71},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.9},
doi = {10.4204/EPTCS.155.9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Dezani-CiancagliniPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KouzapasGG14,
author = {Dimitrios Kouzapas and
Ramunas Gutkovas and
Simon J. Gay},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Session Types for Broadcasting},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {25--31},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.4},
doi = {10.4204/EPTCS.155.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KouzapasGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LindleyM14,
author = {Sam Lindley and
J. Garrett Morris},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Sessions as Propositions},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {9--16},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.2},
doi = {10.4204/EPTCS.155.2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LindleyM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Mostrous14,
author = {Dimitris Mostrous},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Multiparty Sessions based on Proof Nets},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {1--8},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.1},
doi = {10.4204/EPTCS.155.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Mostrous14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NeykovaY14,
author = {Rumyana Neykova and
Nobuko Yoshida},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Multiparty Session Actors},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {32--37},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.5},
doi = {10.4204/EPTCS.155.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NeykovaY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SwalensMKC14,
author = {Janwillem Swalens and
Stefan Marr and
Joeri De Koster and
Tom Van Cutsem},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Towards Composable Concurrency Abstractions},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {54--60},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.8},
doi = {10.4204/EPTCS.155.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SwalensMKC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TiezziY14,
author = {Francesco Tiezzi and
Nobuko Yoshida},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Towards Reversible Sessions},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {17--24},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.3},
doi = {10.4204/EPTCS.155.3},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TiezziY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DonaldsonV14,
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155},
doi = {10.4204/EPTCS.155},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DonaldsonV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-06-11 02:55 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:
