Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/Ameur-BoulifaHK17,
  author       = {Rab{\'{e}}a Ameur{-}Boulifa and
                  Ludovic Henrio and
                  Oleksandra Kulankhina and
                  Eric Madelaine and
                  A. Savu},
  title        = {Behavioural semantics for asynchronous components},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {89},
  pages        = {1--40},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.02.003},
  doi          = {10.1016/J.JLAMP.2017.02.003},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Ameur-BoulifaHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/ArapinisLRR17,
  author       = {Myrto Arapinis and
                  Jia Liu and
                  Eike Ritter and
                  Mark Ryan},
  title        = {Stateful applied pi calculus: Observational equivalence and labelled
                  bisimilarity},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {89},
  pages        = {95--149},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.03.001},
  doi          = {10.1016/J.JLAMP.2017.03.001},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/ArapinisLRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Krivulin17,
  author       = {Nikolai Krivulin},
  title        = {Algebraic solution of tropical optimization problems via matrix sparsification
                  with application to scheduling},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {89},
  pages        = {150--170},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.03.004},
  doi          = {10.1016/J.JLAMP.2017.03.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Krivulin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/SoaresRS17,
  author       = {Pedro Soares and
                  Ant{\'{o}}nio Ravara and
                  Sim{\~{a}}o Melo de Sousa},
  title        = {Revisiting concurrent separation logic},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {89},
  pages        = {41--66},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.02.004},
  doi          = {10.1016/J.JLAMP.2017.02.004},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/SoaresRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/ZeidlerWGL17,
  author       = {Clemens Zeidler and
                  Gerald Weber and
                  Alex Gavryushkin and
                  Christof Lutteroth},
  title        = {Tiling algebra for constraint-based layout editing},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {89},
  pages        = {67--94},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.01.004},
  doi          = {10.1016/J.JLAMP.2017.01.004},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/ZeidlerWGL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}