Search dblp for Publications

export results for "toc:db/journals/scp/scp31.bht:"

 download as .bib file

@article{DBLP:journals/scp/AndreoliPPP98,
  author       = {Jean{-}Marc Andreoli and
                  Fran{\c{c}}ois Pacull and
                  Daniele Pagani and
                  Remo Pareschi},
  title        = {Multiparty Negotiation of Dynamic Distributed Object Services},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {179--203},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00020-8},
  doi          = {10.1016/S0167-6423(97)00020-8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AndreoliPPP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ArmstrongMSS98,
  author       = {Tania Armstrong and
                  Kim Marriott and
                  Peter Schachte and
                  Harald S{\o}ndergaard},
  title        = {Two Classes of Boolean Functions for Dependency Analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {1},
  pages        = {3--45},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(96)00039-1},
  doi          = {10.1016/S0167-6423(96)00039-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ArmstrongMSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BanerjeeS98,
  author       = {Anindya Banerjee and
                  David A. Schmidt},
  title        = {Stackability in the Simply-Typed Call-by-Value lambda Calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {1},
  pages        = {47--73},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(96)00040-8},
  doi          = {10.1016/S0167-6423(96)00040-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BanerjeeS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BergstraK98,
  author       = {Jan A. Bergstra and
                  Paul Klint},
  title        = {The Discrete Time {TOOLBUS} - {A} Software Coordination Architecture},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {205--229},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00021-X},
  doi          = {10.1016/S0167-6423(97)00021-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BergstraK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CiancariniMP98,
  author       = {Paolo Ciancarini and
                  M. Mazza and
                  L. Pazzaglia},
  title        = {A Logic for a Coordination Model with Multiple Spaces},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {231--261},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00022-1},
  doi          = {10.1016/S0167-6423(97)00022-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CiancariniMP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FradetM98,
  author       = {Pascal Fradet and
                  Daniel Le M{\'{e}}tayer},
  title        = {Structured Gamma},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {263--289},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00023-3},
  doi          = {10.1016/S0167-6423(97)00023-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FradetM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FukudaBDM98,
  author       = {Munehiro Fukuda and
                  Lubomir Bic and
                  Michael B. Dillencourt and
                  Fehmina Merchant},
  title        = {Distributed Coordination with {MESSENGERS}},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {291--311},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00024-5},
  doi          = {10.1016/S0167-6423(97)00024-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FukudaBDM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GasserNN98,
  author       = {Kirsten Lackner Solberg Gasser and
                  Hanne Riis Nielson and
                  Flemming Nielson},
  title        = {Strictness and Totality Analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {1},
  pages        = {113--145},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(96)00043-3},
  doi          = {10.1016/S0167-6423(96)00043-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GasserNN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GoemanKSU98,
  author       = {Henk Goeman and
                  Joost N. Kok and
                  Kaisa Sere and
                  Rob T. Udink},
  title        = {Coordination in the ImpUNITY Framework},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {313--334},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00025-7},
  doi          = {10.1016/S0167-6423(97)00025-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GoemanKSU98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Halbwachs98,
  author       = {Nicolas Halbwachs},
  title        = {About Synchronous Programming and Abstract Interpretation},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {1},
  pages        = {75--89},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(96)00041-X},
  doi          = {10.1016/S0167-6423(96)00041-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Halbwachs98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Mauborgne98,
  author       = {Laurent Mauborgne},
  title        = {Abstract Interpretation Using Typed Decision Graphs},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {1},
  pages        = {91--112},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(96)00042-1},
  doi          = {10.1016/S0167-6423(96)00042-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Mauborgne98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RowstronW98,
  author       = {Antony I. T. Rowstron and
                  Alan Wood},
  title        = {Solving the Linda Multiple rd Problem Using the Copy-Collect Primitive},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {335--358},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00026-9},
  doi          = {10.1016/S0167-6423(97)00026-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RowstronW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Tolksdorf98,
  author       = {Robert Tolksdorf},
  title        = {Laura - {A} Service-Based Coordination Language},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {359--381},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00027-0},
  doi          = {10.1016/S0167-6423(97)00027-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Tolksdorf98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Yi98,
  author       = {Kwangkeun Yi},
  title        = {An Abstract Interpretation for Estimating Uncaught Exceptions in Standard
                  {ML} Programs},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {1},
  pages        = {147--173},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(96)00044-5},
  doi          = {10.1016/S0167-6423(96)00044-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Yi98.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.