Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/AsavoaeBBLR15,
  author       = {Irina Mariuca Asavoae and
                  Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Dorel Lucanu and
                  Jurriaan Rot},
  title        = {Model checking recursive programs interacting via the heap},
  journal      = {Sci. Comput. Program.},
  volume       = {100},
  pages        = {61--83},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.09.009},
  doi          = {10.1016/J.SCICO.2014.09.009},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AsavoaeBBLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CarboneL0S15,
  author       = {Marco Carbone and
                  Ivan Lanese and
                  Alexandra Silva and
                  Ana Sokolova},
  title        = {Preface for the special issue on Interaction and Concurrency Experience
                  2012},
  journal      = {Sci. Comput. Program.},
  volume       = {100},
  pages        = {1},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.11.002},
  doi          = {10.1016/J.SCICO.2014.11.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CarboneL0S15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LozesV15,
  author       = {{\'{E}}tienne Lozes and
                  Jules Villard},
  title        = {Shared contract-obedient channels},
  journal      = {Sci. Comput. Program.},
  volume       = {100},
  pages        = {28--60},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.09.008},
  doi          = {10.1016/J.SCICO.2014.09.008},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LozesV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PinoPBV15,
  author       = {Luis Fernando Pino and
                  Andr{\'{e}}s A. Aristiz{\'{a}}bal P. and
                  Filippo Bonchi and
                  Frank D. Valencia},
  title        = {Weak {CCP} bisimilarity with strong procedures},
  journal      = {Sci. Comput. Program.},
  volume       = {100},
  pages        = {84--104},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.09.007},
  doi          = {10.1016/J.SCICO.2014.09.007},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/PinoPBV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PoyiasT15,
  author       = {Kyriakos Poyias and
                  Emilio Tuosto},
  title        = {A design-by-contract approach to recover the architectural style from
                  run-time misbehaviour},
  journal      = {Sci. Comput. Program.},
  volume       = {100},
  pages        = {2--27},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.10.005},
  doi          = {10.1016/J.SCICO.2014.10.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PoyiasT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}