publications: - title: "Comments on ring based termination detection algorithm for distributed computations " author: - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" - name: "Friedemann Mattern" link: "https://researchr.org/alias/friedemann-mattern" year: "1989" doi: "http://dx.doi.org/10.1016/0020-0190(89)90219-6" links: doi: "http://dx.doi.org/10.1016/0020-0190(89)90219-6" tags: - "rule-based" - "termination" researchr: "https://researchr.org/publication/TelM89a" cites: 0 citedby: 0 journal: "Inf. Process. Lett." volume: "32" number: "3" pages: "127-128" kind: "article" key: "TelM89a" - title: "The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols" author: - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" - name: "Richard B. Tan" link: "https://researchr.org/alias/richard-b.-tan" - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" year: "1988" tags: - "protocol" - "termination" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/TelTL88" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "10" number: "1" pages: "107-137" kind: "article" key: "TelTL88" - title: "Distributed Infimum Approximation" author: - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" year: "1987" researchr: "https://researchr.org/publication/Tel87%3A0" cites: 0 citedby: 0 pages: "440-447" booktitle: "Fundamentals of Computation Theory, International Conference FCT 87, Kazan, USSR, June 22-26, 1987, Proceedings" editor: - name: "Lothar Budach" link: "https://researchr.org/alias/lothar-budach" - name: "Rais Gatic Bakharajev" link: "https://researchr.org/alias/rais-gatic-bakharajev" - name: "Oleg Borisovic Lipanov" link: "https://researchr.org/alias/oleg-borisovic-lipanov" volume: "278" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-18740-5" kind: "inproceedings" key: "Tel87:0" - title: "The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes" author: - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" - name: "Friedemann Mattern" link: "https://researchr.org/alias/friedemann-mattern" year: "1993" doi: "http://doi.acm.org/10.1145/151646.151647" links: doi: "http://doi.acm.org/10.1145/151646.151647" tags: - "termination" researchr: "https://researchr.org/publication/TelM93" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "15" number: "1" pages: "1-35" kind: "article" key: "TelM93" - title: "The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols" author: - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" - name: "Richard B. Tan" link: "https://researchr.org/alias/richard-b.-tan" - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" year: "1987" tags: - "protocol" - "termination" researchr: "https://researchr.org/publication/TelTL87" cites: 0 citedby: 0 pages: "445-455" booktitle: "STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings" editor: - name: "Franz-Josef Brandenburg" link: "https://researchr.org/alias/franz-josef-brandenburg" - name: "Guy Vidal-Naquet" link: "https://researchr.org/alias/guy-vidal-naquet" - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" volume: "247" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-17219-X" kind: "inproceedings" key: "TelTL87" - title: "Time and Bit Optimal Broadcasting on Anonymous Unoriented Hypercubes" author: - name: "Stefan Dobrev" link: "https://researchr.org/alias/stefan-dobrev" - name: "Peter Ruzicka" link: "https://researchr.org/alias/peter-ruzicka" - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" year: "1998" researchr: "https://researchr.org/publication/DobrevRT98" cites: 0 citedby: 0 pages: "173-187" booktitle: "SIROCCO 98, 5th International Colloquium on Structural Information & Communication Complexity, Amalfi, Italy, June 22-24, 1998" editor: - name: "Luisa Gargano" link: "https://researchr.org/alias/luisa-gargano" - name: "David Peleg" link: "https://researchr.org/alias/david-peleg" publisher: "Carleton Scientific" kind: "inproceedings" key: "DobrevRT98" - title: "Trade-Offs in Non-Reversing Diameter" author: - name: "Hans Leo Bodlaender" link: "http://people.cs.uu.nl/hansb/" - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" - name: "Nicola Santoro" link: "https://researchr.org/alias/nicola-santoro" year: "1994" researchr: "https://researchr.org/publication/BodlaenderTS94" cites: 0 citedby: 0 journal: "Nord. J. Comput." volume: "1" number: "1" pages: "111-134" kind: "article" key: "BodlaenderTS94" - title: "The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes" author: - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" - name: "Friedemann Mattern" link: "https://researchr.org/alias/friedemann-mattern" year: "1991" tags: - "termination" researchr: "https://researchr.org/publication/TelM91" cites: 0 citedby: 0 pages: "137-149" booktitle: "PARLE 91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings" editor: - name: "Emile H. L. Aarts" link: "https://researchr.org/alias/emile-h.-l.-aarts" - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" - name: "Martin Rem" link: "https://researchr.org/alias/martin-rem" volume: "505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-54151-9" kind: "inproceedings" key: "TelM91" - title: "A Note on Rectilinearity and Angular Resolution" author: - name: "Hans Leo Bodlaender" link: "http://people.cs.uu.nl/hansb/" - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" year: "2004" doi: "http://jgaa.info/accepted/2004/BodlaenderTel2004.8.1.pdf" links: doi: "http://jgaa.info/accepted/2004/BodlaenderTel2004.8.1.pdf" researchr: "https://researchr.org/publication/BodlaenderT04" cites: 0 citedby: 0 journal: "J. Graph Algorithms Appl." volume: "8" pages: "89-94" kind: "article" key: "BodlaenderT04" - title: "Calculs approchés de la borne inférieure de valeurs réparties" author: - name: "Bernadette Charron-Bost" link: "https://researchr.org/alias/bernadette-charron-bost" - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" year: "1997" researchr: "https://researchr.org/publication/Charron-BostT97" cites: 0 citedby: 0 journal: "ITA" volume: "31" number: "4" pages: "305-330" kind: "article" key: "Charron-BostT97" - title: "An Assertional Proof of Rana s Algorithm" author: - name: "Michiel C. van Wezel" link: "https://researchr.org/alias/michiel-c.-van-wezel" - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" year: "1994" tags: - "C++" researchr: "https://researchr.org/publication/WezelT94" cites: 0 citedby: 0 journal: "Inf. Process. Lett." volume: "49" number: "5" pages: "227-233" kind: "article" key: "WezelT94" - title: "Local Monotonicity in Probabilistic Networks" author: - name: "Johan Kwisthout" link: "https://researchr.org/alias/johan-kwisthout" - name: "Hans Leo Bodlaender" link: "http://people.cs.uu.nl/hansb/" - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-75256-1_49" links: doi: "http://dx.doi.org/10.1007/978-3-540-75256-1_49" researchr: "https://researchr.org/publication/KwisthoutBT07" cites: 0 citedby: 0 pages: "548-559" booktitle: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings" editor: - name: "Khaled Mellouli" link: "https://researchr.org/alias/khaled-mellouli" volume: "4724" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-75255-4" kind: "inproceedings" key: "KwisthoutBT07" - title: "Total Algorithms" author: - name: "Gerard Tel" link: "http://people.cs.uu.nl/gerard/" year: "1988" researchr: "https://researchr.org/publication/Tel88" cites: 0 citedby: 0 pages: "277-291" booktitle: "Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings" editor: - name: "Friedrich H. Vogt" link: "https://researchr.org/alias/friedrich-h.-vogt" volume: "335" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-50403-6" kind: "inproceedings" key: "Tel88"