ask others

Science of Computer Programming, Volume 109

> Home > Journals > Science of Computer Programming

Volume 109, October 2015

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CarboneLLS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CarboneLLS15
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Preface for the special issue of Interaction and Concurrency Experience 2013. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BaranovB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BaranovB15
Eduard Baranov, Simon Bliudze:
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. 2-35
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BartolettiLSZ15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BartolettiLSZ15
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino:
Choreographies in the wild. 36-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BartolettiCGZ15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BartolettiCGZ15
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Vicious circles in contracts and in logic. 61-95
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BaldanBGM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BaldanBGM15
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. 96-124