default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp100.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.