Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1302-6328,
  author       = {Yu David Liu},
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {Variant-Frequency Semantics for Green Futures},
  booktitle    = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  pages        = {1--6},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109.1},
  doi          = {10.4204/EPTCS.109.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6328.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6329,
  author       = {Peter Calvert and
                  Alan Mycroft},
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {Mapping the Join Calculus to Heterogeneous Hardware},
  booktitle    = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  pages        = {7--12},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109.2},
  doi          = {10.4204/EPTCS.109.2},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6329.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6330,
  author       = {Massimo Bartoletti and
                  Tiziana Cimoli and
                  G. Michele Pinna and
                  Roberto Zunino},
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {An event-based model for contracts},
  booktitle    = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  pages        = {13--20},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109.3},
  doi          = {10.4204/EPTCS.109.3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6330.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6331,
  author       = {Marco Carbone and
                  Fabrizio Montesi},
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {Merging Multiparty Protocols in Multiparty Choreographies},
  booktitle    = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  pages        = {21--27},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109.4},
  doi          = {10.4204/EPTCS.109.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6331.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6332,
  author       = {Pierpaolo Degano and
                  Gian{-}Luigi Ferrari and
                  Letterio Galletta and
                  Gianluca Mezzetti},
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {Typing Context-Dependent Behavioural Variation},
  booktitle    = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  pages        = {28--33},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109.5},
  doi          = {10.4204/EPTCS.109.5},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6332.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6333,
  author       = {Sung{-}Shik T. Q. Jongmans and
                  Farhad Arbab},
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {Modularizing and Specifying Protocols among Threads},
  booktitle    = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  pages        = {34--45},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109.6},
  doi          = {10.4204/EPTCS.109.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6333.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1302-5798,
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109},
  doi          = {10.4204/EPTCS.109},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5798.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}