Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/BaldanBGM15,
  author       = {Paolo Baldan and
                  Filippo Bonchi and
                  Fabio Gadducci and
                  Giacoma Valentina Monreale},
  title        = {Modular encoding of synchronous and asynchronous interactions using
                  open Petri nets},
  journal      = {Sci. Comput. Program.},
  volume       = {109},
  pages        = {96--124},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.11.019},
  doi          = {10.1016/J.SCICO.2014.11.019},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BaldanBGM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BaranovB15,
  author       = {Eduard Baranov and
                  Simon Bliudze},
  title        = {Offer semantics: Achieving compositionality, flattening and full expressiveness
                  for the glue operators in {BIP}},
  journal      = {Sci. Comput. Program.},
  volume       = {109},
  pages        = {2--35},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.011},
  doi          = {10.1016/J.SCICO.2015.05.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BaranovB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BartolettiCGZ15,
  author       = {Massimo Bartoletti and
                  Tiziana Cimoli and
                  Paolo Di Giamberardino and
                  Roberto Zunino},
  title        = {Vicious circles in contracts and in logic},
  journal      = {Sci. Comput. Program.},
  volume       = {109},
  pages        = {61--95},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.01.005},
  doi          = {10.1016/J.SCICO.2015.01.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BartolettiCGZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BartolettiLSZ15,
  author       = {Massimo Bartoletti and
                  Julien Lange and
                  Alceste Scalas and
                  Roberto Zunino},
  title        = {Choreographies in the wild},
  journal      = {Sci. Comput. Program.},
  volume       = {109},
  pages        = {36--60},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.11.015},
  doi          = {10.1016/J.SCICO.2014.11.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BartolettiLSZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CarboneLLS15,
  author       = {Marco Carbone and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Ana Sokolova},
  title        = {Preface for the special issue of Interaction and Concurrency Experience
                  2013},
  journal      = {Sci. Comput. Program.},
  volume       = {109},
  pages        = {1},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.012},
  doi          = {10.1016/J.SCICO.2015.05.012},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CarboneLLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}