@incollection{Pratt/95a,
AUTHOR = {Pratt, Vaughan},
TITLE = {Time and information in sequential and concurrent computation},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {1-24},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Honda/95,
AUTHOR = {Honda, Kohei},
TITLE = {Notes on $P$-algebra 1: Process structure},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {25-44},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kanovich/95a,
AUTHOR = {Kanovich, Max I.},
TITLE = {Simulating guarded programs in linear logic},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {45-69},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Queinnec/95,
AUTHOR = {Queinnec, Christian},
TITLE = {Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {70-93},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kawamoto-Ito/95,
AUTHOR = {Kawamoto, Shin-ichi and Ito, Takayasu},
TITLE = {Multi-threaded PaiLisp with granularity adaptive parallel execution},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {94-120},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Taura-Matsuoka-Yonezawa/95,
AUTHOR = {Taura, Kenjiro and Matsuoka, Satoshi and Yonezawa, Akinori},
TITLE = {Stack threads: An abstract machine for scheduling fine-grain threads on stock CPUs},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {121-136},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kobayashi-Yonezawa/95,
AUTHOR = {Kobayashi, Naoki and Yonezawa, Akinori},
TITLE = {Higher-order concurrent linear logic programming},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {137-166},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Konaka-Tomokiyo-Maeda-Ishikawa-Hori/95,
AUTHOR = {Konaka, Hiroki and Tomokiyo, Takashi and Maeda, Munenori and Ishikawa, Yutaka and Hori, Atsushi},
TITLE = {A parallel object-oriented language OCore},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {167-186},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pierce-Turner/95,
AUTHOR = {Pierce, Benjamin C. and Turner, David N.},
TITLE = {Concurrent objects in a process calculus},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {187-215},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Satoh-Tokoro/95,
AUTHOR = {Satoh, Ichiro and Tokoro, Mario},
TITLE = {A formalism for remotely interacting processes},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {216-228},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Togashi-Yoshida-Kimura-Shiratori/95,
AUTHOR = {Togashi, Atsushi and Yoshida, Sen and Kimura, Shigetomo and Shiratori, Norio},
TITLE = {ProCSuS: A meta system for concurrent process calculi based on SOS},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {229-234},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reppy/95,
AUTHOR = {Reppy, John H.},
TITLE = {First-class synchronous operations},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {235-252},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Halstead/95,
AUTHOR = {Halstead, Robert H., Jr.},
TITLE = {Self-describing files + smart modules = parallel program visualization},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {253-283},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Tatemura-Koike-Tanaka/95,
AUTHOR = {Tatemura, Junichi and Koike, Hanpei and Tanaka, Hidehiko},
TITLE = {A:performance debugger for parallel logic programming language fleng},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {284-299},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Wakita/95,
AUTHOR = {Wakita, Ken},
TITLE = {First class continuation facilities in concurrent programming language harmony/2},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {300-319},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jagannathan/95,
AUTHOR = {Jagannathan, Suresh},
TITLE = {Locality abstractions for parallel and distributed computing},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {320-345},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kamada-Matsuoka-Yonezawa/95,
AUTHOR = {Kamada, Tomio and Matsuoka, Satoshi and Yonezawa, Akinori},
TITLE = {An algorithm for efficient global garbage collection on massively parallel computers},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {346-355},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ueda/95,
AUTHOR = {Ueda, Kazunori},
TITLE = {I/O mode analysis in concurrent logic programming},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {356-368},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Broy/95,
AUTHOR = {Broy, Manfred},
TITLE = {Advanced component interface specification},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {369-392},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yoshida/95,
AUTHOR = {Yoshida, Nobuko},
TITLE = {Graph notation for concurrent combinators},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {393-412},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nishimura-Ohori/95,
AUTHOR = {Nishimura, Susumu and Ohori, Atsushi},
TITLE = {A calculus for exploiting data parallelism on recursively defined data},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {413-432},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yuasa-Kijima-Konishi/95,
AUTHOR = {Yuasa, Taiichi and Kijima, Toshiro and Konishi, Yutaka},
TITLE = {The data-parallel C language NCX and its implementation strategies},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {433-456},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kusakabe-Amamiya/95,
AUTHOR = {Kusakabe, Shigeru and Amamiya, Makoto},
TITLE = {A dataflow-based massively parallel programming language "V" and its implementation on a stock parallel machine},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {457-471},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sato-Kodama-Sakane-Sakai-Yamaguchi-Sekiguchi/95,
AUTHOR = {Sato, Mitsuhisa and Kodama, Yuetsu and Sakane, Hirofumi and Sakai, Shuichi and Yamaguchi, Yoshinori and Sekiguchi, Satoshi},
TITLE = {Programming with distributed data structure for EM-X multiprocessor},
BOOKTITLE = {Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP'94 (Sendai, Japan, November 7-9, 1994)},
SERIES = {LNCS},
VOLUME = {907},
PAGES = {472-483},
YEAR = {1995},
EDITOR = {Ito, Takayasu and Yonezawa, Akinori},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}