TPPP 1994: Sendai, Japan

@proceedings{DBLP:conf/tppp/1994,
  editor    = {Takayasu Ito and
               Akinori Yonezawa},
  title     = {Theory and Practice of Parallel Programming, International Workshop
               TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
  booktitle = {TPPP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {907},
  year      = {1995},
  isbn      = {3-540-59172-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk 1

• Vaughan R. Pratt: Time and Information in Sequential and Concurrent Computation. 1-24
• Kohei Honda: Notes on P-Algebra 1: Process Structure. 25-44
• Max I. Kanovich: Simulating Guarded Programs in Linear Logic. 45-69

Invited Talk 2

• Christian Queinnec: Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language. 70-93
• Shin-ichi Kawamoto, Takayasu Ito: Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution. 94-120
• Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs. 121-136

Invited Talk 3

• Naoki Kobayashi, Akinori Yonezawa: Higher-Order Concurrent Linear Logic Programming. 137-166
• Hiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori: A Parallel Object-Oriented Language OCore. 167-186

Invited Talk 4

• Benjamin C. Pierce: Concurrent Objects in a Process Calculus. 187-215
• Ichiro Satoh, Mario Tokoro: A Formalism for Remotely Interacting Processes. 216-228
• Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori: ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS. 229-234

Invited Talk 5

• John H. Reppy: First-class Synchronous Operations. 235-252

Invited Talk 6

• Robert H. Halstead Jr.: Self-Describing Files + Smart Modules = Parallel Program Visualization. 253-283
• Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka: A Performance Debugger for a Parallel Logic Programming Language Fleng. 284-299
• Ken Wakita: First Class Continuation Facilities in Concurrent Programming Language Harmony/2. 300-319

Invited Talk 7

• Suresh Jagannathan: Locality Abstractions for Parallel and Distributed Computing. 320-345
• Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa: An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers. 346-355
• Kazunori Ueda: I/O Mode Analysis in Concurrent Logic Programming. 356-368

Invited Talk 8

• Manfred Broy: Advanced Component Interface Specification. 369-392
• Nobuko Yoshida: Graph Notation for Concurrent Combinators. 393-412
• Susumu Nishimura, Atsushi Ohori: A Calculus for Exploiting Data Parallelism on Recursively Defined Data. 413-432

Invited Talk 9

• Taiichi Yuasa, Toshiro Kijima, Yutaka Konishi: The Data-Parallel C Language NCX and Its Implementation Strategies. 433-456
• Shigeru Kusakabe, Makoto Amamiya: A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine. 457-471
• Mitsuhisa Sato, Yuetsu Kodama, Hirofumi Sakane, Yoshinori Yamaguchi, Shuichi Sakai: Programming with Distributed Data Structure for EM-X Multiprocessor. 472-483