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    = {Sun, 06 Oct 2024 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    = {Sun, 06 Oct 2024 01:00:00 +0200},
  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}
}

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.