Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/Andrews89,
  author       = {Gregory R. Andrews},
  title        = {A Method for Solving Synchronization Problems},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {1--21},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90013-0},
  doi          = {10.1016/0167-6423(89)90013-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Andrews89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Arnold89,
  author       = {Andr{\'{e}} Arnold},
  title        = {An Example of Sequentialization of a Parallel Algorithm},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {111--116},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90017-8},
  doi          = {10.1016/0167-6423(89)90017-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Arnold89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BackS89,
  author       = {Ralph{-}Johan Back and
                  Kaisa Sere},
  title        = {Stepwise Refinement of Parallel Algorithms},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {133--180},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(90)90069-P},
  doi          = {10.1016/0167-6423(90)90069-P},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BackS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BestL89,
  author       = {Eike Best and
                  Christian Lengauer},
  title        = {Semantic Independence},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {23--50},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90014-2},
  doi          = {10.1016/0167-6423(89)90014-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BestL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Fernandez89,
  author       = {Jean{-}Claude Fernandez},
  title        = {An Implementation of an Efficient Algorithm for Bisimulation Equivalence},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {219--236},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(90)90071-K},
  doi          = {10.1016/0167-6423(90)90071-K},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Fernandez89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HemerikK89,
  author       = {C. Hemerik and
                  Joost{-}Pieter Katoen},
  title        = {Bottom-Up Tree Acceptors},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {51--72},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90015-4},
  doi          = {10.1016/0167-6423(89)90015-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HemerikK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Tennent89,
  author       = {Robert D. Tennent},
  title        = {Elementary Data Structures in ALGOL-Like Languages},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {73--110},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90016-6},
  doi          = {10.1016/0167-6423(89)90016-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Tennent89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Thompson89,
  author       = {Simon J. Thompson},
  title        = {Lawful Functions and Program Verification in Miranda},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {181--218},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(90)90070-T},
  doi          = {10.1016/0167-6423(90)90070-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Thompson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Vink89,
  author       = {Erik P. de Vink},
  title        = {Comparative Semantics for {PROLOG} with Cut},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {237--264},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(90)90072-L},
  doi          = {10.1016/0167-6423(90)90072-L},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Vink89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}