Conferences in DBLP

Theory and Practice of Parallel Programming (TPPP) (tppp)
1994 (conf/tppp/1994)

1. Vaughan R. Pratt
   Time and Information in Sequential and Concurrent Computation. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:1-24 [Conf]
   
2. Kohei Honda
   Notes on P-Algebra 1: Process Structure. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:25-44 [Conf]
   
3. Max I. Kanovich
   Simulating Guarded Programs in Linear Logic. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:45-69 [Conf]
   
4. Christian Queinnec
   Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:70-93 [Conf]
   
5. Shin-ichi Kawamoto, Takayasu Ito
   Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:94-120 [Conf]
   
6. Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa
   StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:121-136 [Conf]
   
7. Naoki Kobayashi, Akinori Yonezawa
   Higher-Order Concurrent Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:137-166 [Conf]
   
8. Hiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori
   A Parallel Object-Oriented Language OCore. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:167-186 [Conf]
   
9. Benjamin C. Pierce
   Concurrent Objects in a Process Calculus. [Citation Graph (0, 0)][DBLP]
   Theory and Practice of Parallel Programming, 1994, pp:187-215 [Conf]
   
10. Ichiro Satoh, Mario Tokoro
    A Formalism for Remotely Interacting Processes. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:216-228 [Conf]
    
11. Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori
    ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:229-234 [Conf]
    
12. John H. Reppy
    First-class Synchronous Operations. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:235-252 [Conf]
    
13. Robert H. Halstead Jr.
    Self-Describing Files + Smart Modules = Parallel Program Visualization. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:253-283 [Conf]
    
14. Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka
    A Performance Debugger for a Parallel Logic Programming Language Fleng. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:284-299 [Conf]
    
15. Ken Wakita
    First Class Continuation Facilities in Concurrent Programming Language Harmony/2. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:300-319 [Conf]
    
16. Suresh Jagannathan
    Locality Abstractions for Parallel and Distributed Computing. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:320-345 [Conf]
    
17. Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa
    An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:346-355 [Conf]
    
18. Kazunori Ueda
    I/O Mode Analysis in Concurrent Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:356-368 [Conf]
    
19. Manfred Broy
    Advanced Component Interface Specification. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:369-392 [Conf]
    
20. Nobuko Yoshida
    Graph Notation for Concurrent Combinators. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:393-412 [Conf]
    
21. Susumu Nishimura, Atsushi Ohori
    A Calculus for Exploiting Data Parallelism on Recursively Defined Data. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:413-432 [Conf]
    
22. Taiichi Yuasa, Toshiro Kijima, Yutaka Konishi
    The Data-Parallel C Language NCX and Its Implementation Strategies. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:433-456 [Conf]
    
23. Shigeru Kusakabe, Makoto Amamiya
    A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:457-471 [Conf]
    
24. Mitsuhisa Sato, Yuetsu Kodama, Hirofumi Sakane, Yoshinori Yamaguchi, Shuichi Sakai
    Programming with Distributed Data Structure for EM-X Multiprocessor. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:472-483 [Conf]