Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/AcetoFGI17,
  author       = {Luca Aceto and
                  Ignacio F{\'{a}}bregas and
                  {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {A unified rule format for bounded nondeterminism in {SOS} with terms
                  as labels},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {92},
  pages        = {64--86},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.03.002},
  doi          = {10.1016/J.JLAMP.2017.03.002},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AcetoFGI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/EdelmannBS17,
  author       = {Romain Edelmann and
                  Simon Bliudze and
                  Joseph Sifakis},
  title        = {Functional {BIP:} Embedding connectors in functional programming languages},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {92},
  pages        = {19--44},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.06.003},
  doi          = {10.1016/J.JLAMP.2017.06.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/EdelmannBS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GadducciSPV17,
  author       = {Fabio Gadducci and
                  Francesco Santini and
                  Luis Fernando Pino and
                  Frank D. Valencia},
  title        = {Observational and behavioural equivalences for soft concurrent constraint
                  programming},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {92},
  pages        = {45--63},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.06.001},
  doi          = {10.1016/J.JLAMP.2017.06.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GadducciSPV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/ParkLSHACK17,
  author       = {Junkil Park and
                  Insup Lee and
                  Oleg Sokolsky and
                  Dae{-}Yon Hwang and
                  So Jin Ahn and
                  Jin{-}Young Choi and
                  Inhye Kang},
  title        = {A process algebraic approach to the schedulability analysis and workload
                  abstraction of hierarchical real-time systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {92},
  pages        = {1--18},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2017.07.001},
  doi          = {10.1016/J.JLAMP.2017.07.001},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/ParkLSHACK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}