Search dblp for Publications

export results for "toc:db/conf/parle/parle89-2.bht:"

 download as .bib file

@inproceedings{DBLP:conf/parle/Agha89,
  author       = {Gul Agha},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Supporting Multiparadigm Programming on Actor Architectures},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_29},
  doi          = {10.1007/3-540-51285-3\_29},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Agha89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Back89,
  author       = {Ralph{-}Johan Back},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {A Method for Refining Atomicity in Parallel Algorithms},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {199--216},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_42},
  doi          = {10.1007/3-540-51285-3\_42},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Back89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BaiardiO89,
  author       = {Fabrizio Baiardi and
                  Salvatore Orlando},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Strategies for a Massively Parallel Implementation of Simulated Annealing},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {273--287},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_46},
  doi          = {10.1007/3-540-51285-3\_46},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/parle/BaiardiO89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Banach89,
  author       = {Richard Banach},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Dataflow Analysis if Term Graph Rewriting Systems},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {55--72},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_33},
  doi          = {10.1007/3-540-51285-3\_33},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Banach89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Boer89,
  author       = {Frank S. de Boer},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Compositionality in the Temporal Logic of Concurrent Systems (extended
                  abstract)},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {406--423},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_55},
  doi          = {10.1007/3-540-51285-3\_55},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Boer89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/EvripidouNG89,
  author       = {Paraskevas Evripidou and
                  Walid A. Najjar and
                  Jean{-}Luc Gaudiot},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {A Single-Assignment Language in a Distributed Memory Multiprocessor},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {304--320},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_48},
  doi          = {10.1007/3-540-51285-3\_48},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/parle/EvripidouNG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Gelernter89,
  author       = {David Gelernter},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Multiple Tuple Spaces in Linda},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {20--27},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_30},
  doi          = {10.1007/3-540-51285-3\_30},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Gelernter89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/GoeringK89,
  author       = {Steven K. Goering and
                  Simon M. Kaplan},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Visual Concurrent Object-Based Programming in {GARP}},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {165--180},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_40},
  doi          = {10.1007/3-540-51285-3\_40},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/GoeringK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Hains89,
  author       = {Ga{\'{e}}tan Hains},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {The Compaction of Acyclic Terms},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {288--303},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_47},
  doi          = {10.1007/3-540-51285-3\_47},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Hains89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Hausman89,
  author       = {Bogumil Hausman},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Pruning and Scheduling Speculative Work in Or-Parallel Prolog},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {133--150},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_38},
  doi          = {10.1007/3-540-51285-3\_38},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Hausman89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Hey89,
  author       = {Anthony J. G. Hey},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Experiments in {MIMD} Parallelism},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {28--42},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_31},
  doi          = {10.1007/3-540-51285-3\_31},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/parle/Hey89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/HoomanW89,
  author       = {Jozef Hooman and
                  Jennifer Widom},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {A Temporal-Logic Based Compositional Proof System for Real-Time Message
                  Passing},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {424--441},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_56},
  doi          = {10.1007/3-540-51285-3\_56},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/HoomanW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/HwangH89,
  author       = {Zhiyi Hwang and
                  Shouren Hu},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {A Compliling Approach for Exploiting And-parallelism in Parallel Logic
                  Programming Systems},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {335--345},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_50},
  doi          = {10.1007/3-540-51285-3\_50},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/HwangH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/JanickiK89,
  author       = {Ryszard Janicki and
                  Maciej Koutny},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Towards {A} Theory Of Simulation For Verification Of Concurrent Systems},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_34},
  doi          = {10.1007/3-540-51285-3\_34},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/JanickiK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/JonssonK89,
  author       = {Bengt Jonsson and
                  Joost N. Kok},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Comparing Two Fully Abstract Dataflow Models},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {217--234},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_43},
  doi          = {10.1007/3-540-51285-3\_43},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/JonssonK89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/KergommeauxBRR89,
  author       = {Jacques Chassin de Kergommeaux and
                  Uri Baron and
                  Wolfgang Rapp and
                  Michael Ratcliffe},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Performance Analysis of a Parallel Prolog: {A} Correlated Approach},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {151--164},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_39},
  doi          = {10.1007/3-540-51285-3\_39},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/KergommeauxBRR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/LabartaA89,
  author       = {Jes{\'{u}}s Labarta and
                  Eduard Ayguad{\'{e}}},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {{GTS:} Extracting Full Parallelism Out of {DO} Loops},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {43--54},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_32},
  doi          = {10.1007/3-540-51285-3\_32},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/LabartaA89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Lengauer89,
  author       = {Christian Lengauer},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Towards Systolizing Compilation: An Overview},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {253--272},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_45},
  doi          = {10.1007/3-540-51285-3\_45},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Lengauer89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Lisper89,
  author       = {Bj{\"{o}}rn Lisper},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Single-Assignment Semantics for Imperative Programs},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {321--334},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_49},
  doi          = {10.1007/3-540-51285-3\_49},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Lisper89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/LivezeyM89,
  author       = {Brian Livezey and
                  Richard R. Muntz},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {{ASPEN:} {A} Stream Processing Environment},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {374--388},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_53},
  doi          = {10.1007/3-540-51285-3\_53},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/LivezeyM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/MarinoS89,
  author       = {Giuseppe Marino and
                  Giancarlo Succi},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Data structures for parallel execution of functional languages},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {346--356},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_51},
  doi          = {10.1007/3-540-51285-3\_51},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/MarinoS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/MillanB89,
  author       = {Jos{\'{e}} del R. Mill{\'{a}}n and
                  Pau Bofill},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Learning by Back-Propagation: Computing in a Systolic Way},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {235--252},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_44},
  doi          = {10.1007/3-540-51285-3\_44},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/MillanB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Nielson89,
  author       = {Flemming Nielson},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {The Typed lambda-Calculus with First-Class Processes},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {357--373},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_52},
  doi          = {10.1007/3-540-51285-3\_52},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Nielson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Parrow89,
  author       = {Joachim Parrow},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {The Expressive Power of Simple Parallelism},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {389--405},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_54},
  doi          = {10.1007/3-540-51285-3\_54},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Parrow89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/RefenesEMT89,
  author       = {Apostolos Nikolaos Refenes and
                  Eugene Eberbach and
                  Stephen C. McCabe and
                  Philip C. Treleaven},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {{PARLE:} {A} Parallel Target Language for Integrating Symbolic and
                  Numeric Processing},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {181--198},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_41},
  doi          = {10.1007/3-540-51285-3\_41},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/RefenesEMT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/SchwinnBW89,
  author       = {Bernd Schwinn and
                  Gerhard Barth and
                  Christoph Welsch},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {RAPiD {A} Data Flow Model for Implementing Parallelism and Intelligent
                  Backtracking in Logic Programs},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_37},
  doi          = {10.1007/3-540-51285-3\_37},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/SchwinnBW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Valmari89,
  author       = {Antti Valmari},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Eliminating Redundant Interleavings During Concurrent Program Verification},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_35},
  doi          = {10.1007/3-540-51285-3\_35},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Valmari89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Yamasaki89,
  author       = {Susumu Yamasaki},
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {Dataflow Programs for Parallel Computations of Logic Programs and
                  their Semantics},
  booktitle    = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  pages        = {104--114},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3\_36},
  doi          = {10.1007/3-540-51285-3\_36},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Yamasaki89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/parle/1989-2,
  editor       = {Eddy Odijk and
                  Martin Rem and
                  Jean{-}Claude Syre},
  title        = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
                  Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {366},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51285-3},
  doi          = {10.1007/3-540-51285-3},
  isbn         = {3-540-51285-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/1989-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics