default search action
Search dblp for Publications
export results for "toc:db/conf/parle/parle87-2.bht:"
@inproceedings{DBLP:conf/parle/ArvindN87, author = {Arvind and Rishiyur S. Nikhil}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Executing a Program on the {MIT} Tagged-Token Dataflow Architecture}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {1--29}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_1}, doi = {10.1007/3-540-17945-3\_1}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/parle/ArvindN87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Augusteijn87, author = {Lex Augusteijn}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Garbage Collection in a Distributed Environment}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {75--93}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_4}, doi = {10.1007/3-540-17945-3\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Augusteijn87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/BaetenBK87, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {94--111}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_5}, doi = {10.1007/3-540-17945-3\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/BaetenBK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/BaileyC87, author = {Duane A. Bailey and Janice E. Cuny}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph Grammars}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {112--123}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_6}, doi = {10.1007/3-540-17945-3\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/BaileyC87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/BarbacciW87, author = {Mario Barbacci and Jeannette M. Wing}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Specifying Functional and Timing Behavior for Real-Time Applications}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {124--140}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_7}, doi = {10.1007/3-540-17945-3\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/BarbacciW87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/BarendregtEGKPS87, author = {Hendrik Pieter Barendregt and Marko C. J. D. van Eekelen and John R. W. Glauert and Richard Kennaway and Marinus J. Plasmeijer and M. Ronan Sleep}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Term Graph Rewriting}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {141--158}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_8}, doi = {10.1007/3-540-17945-3\_8}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/parle/BarendregtEGKPS87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/BarendregtEGKPS87a, author = {Hendrik Pieter Barendregt and Marko C. J. D. van Eekelen and John R. W. Glauert and Richard Kennaway and Marinus J. Plasmeijer and M. Ronan Sleep}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Towards an Intermediate Language based on Graph Rewriting}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {159--175}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_9}, doi = {10.1007/3-540-17945-3\_9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/BarendregtEGKPS87a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Bevan87, author = {David I. Bevan}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Distributed Garbage Collection Using Reference Counting}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {176--187}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_10}, doi = {10.1007/3-540-17945-3\_10}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/parle/Bevan87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Clark87, author = {Keith L. Clark}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {{PARLOG:} The Language and Its Applications}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {30--53}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_2}, doi = {10.1007/3-540-17945-3\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Clark87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/DawidsL87, author = {Ulla Gamwell Dawids and Hans Henrik L{\o}vengreen}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Rigorous Development of a Distributed Calendar System}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {188--205}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_11}, doi = {10.1007/3-540-17945-3\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/DawidsL87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/FelleisenF87, author = {Matthias Felleisen and Daniel P. Friedman}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {A Reduction Semantics for Imperative Higher-Order Languages}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {206--223}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_12}, doi = {10.1007/3-540-17945-3\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/FelleisenF87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/GlabbeekV87, author = {Rob J. van Glabbeek and Frits W. Vaandrager}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Petri Net Models for Algebraic Theories of Concurrency}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {224--242}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_13}, doi = {10.1007/3-540-17945-3\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/GlabbeekV87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/GlasgowM87, author = {Janice I. Glasgow and Glenn H. MacEwen}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {A Computational Model for Distributed Systems Using Operator Nets}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {243--260}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_14}, doi = {10.1007/3-540-17945-3\_14}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/GlasgowM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Gribomont87, author = {E. Pascal Gribomont}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Design and Proof of Communicating Sequential Processes}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {261--276}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_15}, doi = {10.1007/3-540-17945-3\_15}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Gribomont87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/HaleM87, author = {Roger Hale and Ben C. Moszkowski}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Parallel Programming in Temporal Logic}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {277--296}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_16}, doi = {10.1007/3-540-17945-3\_16}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/HaleM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Harrison87, author = {David K. Harrison}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {{RUTH:} {A} Functional Language for Real-Time Programming}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {297--314}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_17}, doi = {10.1007/3-540-17945-3\_17}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Harrison87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Hooman87, author = {Jozef Hooman}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {A Compositional Proof Theory for Real-Time Distributed Message Passing}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {315--332}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_18}, doi = {10.1007/3-540-17945-3\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Hooman87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Kloos87, author = {Carlos Delgado Kloos}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {{STREAM:} {A} Scheme Language for Formally Describing Digital Circuits}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {333--350}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_19}, doi = {10.1007/3-540-17945-3\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Kloos87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Kok87, author = {Joost N. Kok}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {A Fully Abstract Semantics for Data Flow Nets}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {351--368}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_20}, doi = {10.1007/3-540-17945-3\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Kok87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/LuckhamHBH87, author = {David C. Luckham and David P. Helmbold and D. L. Bryan and M. A. Haberler}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Task Sequencing Language for Specifying Distributed Ada Systems}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {444--463}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_26}, doi = {10.1007/3-540-17945-3\_26}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/LuckhamHBH87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/MartinT87, author = {Andrew Richard Martin and John V. Tucker}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {The Concurrent Assignment Representation of Synchronous Systems}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {369--386}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_21}, doi = {10.1007/3-540-17945-3\_21}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/MartinT87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Ramesh87, author = {S. Ramesh}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {A New and Efficient Implementation of Multiprocess Synchronization}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {387--401}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_22}, doi = {10.1007/3-540-17945-3\_22}, timestamp = {Thu, 07 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/parle/Ramesh87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Schnoebelen87, author = {Philippe Schnoebelen}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Rewriting Techniques for the Temporal Analysis of Communicating Processes}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {402--419}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_23}, doi = {10.1007/3-540-17945-3\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Schnoebelen87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Tebra87, author = {Hans Tebra}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Optimistic And-Parallelism in Prolog}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {420--431}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_24}, doi = {10.1007/3-540-17945-3\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Tebra87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/Turner87, author = {David Turner}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Functional Programming and Communicating Processes}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {54--74}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_3}, doi = {10.1007/3-540-17945-3\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/Turner87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/WatsonW87, author = {Paul Watson and Ian Watson}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {An Efficient Garbage Collection Scheme for Parallel Computer Architectures}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {432--443}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_25}, doi = {10.1007/3-540-17945-3\_25}, timestamp = {Tue, 18 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/WatsonW87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/parle/1987-2, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3}, doi = {10.1007/3-540-17945-3}, isbn = {3-540-17945-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parle/1987-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.