Conferences in DBLP

Parallel Architectures and Languages Europe (PARLE) (parle)
1987 (conf/parle/1987-2)

1. Arvind, Rishiyur S. Nikhil
   Executing a Program on the MIT Tagged-Token Dataflow Architecture. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:1-29 [Conf]
   
2. Keith L. Clark
   PARLOG: The Language and Its Applications. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:30-53 [Conf]
   
3. David Turner
   Functional Programming and Communicating Processes. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:54-74 [Conf]
   
4. Lex Augusteijn
   Garbage Collection in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:75-93 [Conf]
   
5. Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
   Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:94-111 [Conf]
   
6. Duane A. Bailey, Janice E. Cuny
   An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph Grammars. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:112-123 [Conf]
   
7. Mario Barbacci, Jeannette M. Wing
   Specifying Functional and Timing Behavior for Real-Time Applications. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:124-140 [Conf]
   
8. Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
   Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:141-158 [Conf]
   
9. Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
   Towards an Intermediate Language based on Graph Rewriting. [Citation Graph (0, 0)][DBLP]
   PARLE (2), 1987, pp:159-175 [Conf]
   
10. D. I. Bevan
    Distributed Garbage Collection Using Reference Counting. [Citation Graph (1, 0)][DBLP]
    PARLE (2), 1987, pp:176-187 [Conf]
    
11. Ulla Gamwell Dawids, Hans Henrik Løvengreen
    Rigorous Development of a Distributed Calendar System. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:188-205 [Conf]
    
12. Matthias Felleisen, Daniel P. Friedman
    A Reduction Semantics for Imperative Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:206-223 [Conf]
    
13. Rob J. van Glabbeek, Frits W. Vaandrager
    Petri Net Models for Algebraic Theories of Concurrency. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:224-242 [Conf]
    
14. Janice I. Glasgow, Glenn H. MacEwen
    A Computational Model for Distributed Systems Using Operator Nets. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:243-260 [Conf]
    
15. E. Pascal Gribomont
    Design and Proof of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:261-276 [Conf]
    
16. Roger Hale, Ben C. Moszkowski
    Parallel Programming in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:277-296 [Conf]
    
17. David K. Harrison
    RUTH: A Functional Language for Real-Time Programming. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:297-314 [Conf]
    
18. Jozef Hooman
    A Compositional Proof Theory for Real-Time Distributed Message Passing. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:315-332 [Conf]
    
19. Carlos Delgado Kloos
    STREAM: A Scheme Language for Formally Describing Digital Circuits. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:333-350 [Conf]
    
20. Joost N. Kok
    A Fully Abstract Semantics for Data Flow Nets. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:351-368 [Conf]
    
21. A. R. Martin, J. V. Tucker
    The Concurrent Assignment Representation of Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:369-386 [Conf]
    
22. S. Ramesh
    A New and Efficient Implementation of Multiprocess Synchronization. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:387-401 [Conf]
    
23. Ph. Schnoebelen
    Rewriting Techniques for the Temporal Analysis of Communicating Processes. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:402-419 [Conf]
    
24. Hans Tebra
    Optimistic And-Parallelism in Prolog. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:420-431 [Conf]
    
25. Paul Watson, Ian Watson
    An Efficient Garbage Collection Scheme for Parallel Computer Architectures. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:432-443 [Conf]
    
26. David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler
    Task Sequencing Language for Specifying Distributed Ada Systems. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:444-463 [Conf]