Search dblp for Publications

export results for "toc:db/journals/jlp/jlp86.bht:"

 download as .bib file

@article{DBLP:journals/jlp/AubertC17,
  author       = {Cl{\'{e}}ment Aubert and
                  Ioana Cristescu},
  title        = {Contextual equivalences in configuration structures and reversibility},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {77--106},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.08.004},
  doi          = {10.1016/J.JLAMP.2016.08.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AubertC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BarbaneraBd17,
  author       = {Franco Barbanera and
                  Steffen van Bakel and
                  Ugo de'Liguoro},
  title        = {Orchestrated session compliance},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {30--76},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.08.002},
  doi          = {10.1016/J.JLAMP.2016.08.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BarbaneraBd17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BartolettiMSZ17,
  author       = {Massimo Bartoletti and
                  Maurizio Murgia and
                  Alceste Scalas and
                  Roberto Zunino},
  title        = {Verifiable abstractions for contract-oriented systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {159--207},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2015.10.005},
  doi          = {10.1016/J.JLAMP.2015.10.005},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BartolettiMSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BravettiGLW17,
  author       = {Mario Bravetti and
                  Elena Giachino and
                  Michael Lienhardt and
                  Peter Y. H. Wong},
  title        = {Dynamic Rebinding for Concurrent Object Groups: Theory and practice},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {349--390},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.03.002},
  doi          = {10.1016/J.JLAMP.2016.03.002},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BravettiGLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/CarayolE17,
  author       = {Arnaud Carayol and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {An analysis of the equational properties of the well-founded fixed
                  point},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {308--318},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.09.004},
  doi          = {10.1016/J.JLAMP.2016.09.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CarayolE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DokterJAB17,
  author       = {Kasper Dokter and
                  Sung{-}Shik Jongmans and
                  Farhad Arbab and
                  Simon Bliudze},
  title        = {Combine and conquer: Relating {BIP} and Reo},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {134--156},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.09.008},
  doi          = {10.1016/J.JLAMP.2016.09.008},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DokterJAB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DuranMOZ17,
  author       = {Francisco Dur{\'{a}}n and
                  Antonio Moreno{-}Delgado and
                  Fernando Orejas and
                  Steffen Zschaler},
  title        = {Amalgamation of domain specific languages with behaviour},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {208--235},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2015.09.005},
  doi          = {10.1016/J.JLAMP.2015.09.005},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/DuranMOZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Escobar17,
  author       = {Santiago Escobar},
  title        = {Rewriting Logic and its Applications (extended selected papers from
                  {WRLA} 2014)},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {157--158},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.10.002},
  doi          = {10.1016/J.JLAMP.2016.10.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Escobar17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GrohneV17,
  author       = {Helmut Grohne and
                  Janis Voigtl{\"{a}}nder},
  title        = {Formalizing semantic bidirectionalization and extensions with dependent
                  types},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {319--348},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.04.002},
  doi          = {10.1016/J.JLAMP.2016.04.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GrohneV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GuzmanHPRV17,
  author       = {Michell Guzm{\'{a}}n and
                  Stefan Haar and
                  Salim Perchy and
                  Camilo Rueda and
                  Frank D. Valencia},
  title        = {Belief, knowledge, lies and other utterances in an algebra for space
                  and extrusion},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {107--133},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.09.001},
  doi          = {10.1016/J.JLAMP.2016.09.001},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/GuzmanHPRV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HieronsMN17,
  author       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {An extended framework for passive asynchronous testing},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {408--424},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.02.004},
  doi          = {10.1016/J.JLAMP.2016.02.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HieronsMN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LaneseLKV17,
  author       = {Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Sophia Knight and
                  Hugo Torres Vieira},
  title        = {Preface for the special issue on Interaction and Concurrency Experience
                  2015},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {1},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.10.003},
  doi          = {10.1016/J.JLAMP.2016.10.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LaneseLKV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LucasM17,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  title        = {Dependency pairs for proving termination properties of conditional
                  term rewriting systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {236--268},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.03.003},
  doi          = {10.1016/J.JLAMP.2016.03.003},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/LucasM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LuoL17,
  author       = {Minxia Luo and
                  Bei Liu},
  title        = {Robustness of interval-valued fuzzy inference triple {I} algorithms
                  based on normalized Minkowski distance},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {298--307},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.09.006},
  doi          = {10.1016/J.JLAMP.2016.09.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LuoL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MavridouBBS17,
  author       = {Anastasia Mavridou and
                  Eduard Baranov and
                  Simon Bliudze and
                  Joseph Sifakis},
  title        = {Configuration logics: Modeling architecture styles},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {2--29},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.05.002},
  doi          = {10.1016/J.JLAMP.2016.05.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/MavridouBBS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/RochaMM17,
  author       = {Camilo Rocha and
                  Jos{\'{e}} Meseguer and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Rewriting modulo {SMT} and open system analysis},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {269--297},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.10.001},
  doi          = {10.1016/J.JLAMP.2016.10.001},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/RochaMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/UnelT17,
  author       = {Gulay {\"{U}}nel and
                  David Toman},
  title        = {Logic programming approach to automata-based decision procedures},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {391--407},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2016.02.005},
  doi          = {10.1016/J.JLAMP.2016.02.005},
  timestamp    = {Sat, 05 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/UnelT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.