Search dblp for Publications

export results for "toc:db/journals/scp/scp109.bht:"

 download as .bib file

@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics