OBPDC 1995: Tokyo, Japan

Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (Eds.): Object-Based Parallel and Distributed Computation, France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995, Selected Papers. Lecture Notes in Computer Science 1107 Springer 1996, ISBN 3-540-61487-7 BibTeX

@proceedings{DBLP:conf/obpdc/1995,
  editor    = {Jean-Pierre Briot and
               Jean-Marc Geib and
               Akinori Yonezawa},
  title     = {Object-Based Parallel and Distributed Computation, France-Japan
               Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995, Selected
               Papers},
  booktitle = {OBPDC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1107},
  year      = {1996},
  isbn      = {3-540-61487-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Massively Parallel Programming Languages

Hiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori: Data Parallel Programming in the Parallel Object-Oriented Language OCore. 1-17 BibTeX
Frédéric Guidec, Jean-Marc Jézéquel: Polymorphic Matrices in Paladin. 18-37 BibTeX
Takanobu Baba, Tsutomu Yoshinaga, Takahiro Furuta: Programming and Debugging for Massively Parallelism: The Case for a Parallel Object-Oriented Language A-NETL. 38-58 BibTeX
Kenjiro Taura, Akinori Yonezawa: Schematic: A Concurrent Object-Oriented Extension to Scheme. 59-82 BibTeX

Distributed Programming Languages

Jean-Marc Geib, Christophe Gransart, Chrystel Grenot, Philippe Merle: (Thread and Object)-Oriented Distributed Programming. 83-103 BibTeX
Keith L. Clark, Frank G. McCabe: Distributed and Object Oriented Symbolic Programming in April. 104-124 BibTeX
Denis Caromel, Yves Roudier: Reactive Programming in Eiffel//. 125-147 BibTeX

Formalisms

Didier Galmiche, Eric Boudinet: Proofs, Concurrent Objects, and Computations in a FILL Framework. 148-167 BibTeX
Jean Paul Bahsoun, Stephan Merz, Corinne Servieres: Modular Description and Verification of Concurrent Objects. 168-186 BibTeX

Distributed Operating Systems

Christian Jacquemot, Peter Starup Jensen, Stéphane Carrez: CHORUS/COOL: CHORUS Object Oriented Technology. 187-204 BibTeX
Rodger Lea, Yasuhiko Yokote, Jun-ichiro Itoh: Adaptive Operating System Design using Reflection. 205-218 BibTeX
Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau: Isatis: A Customizable Distributed Object-Based Runtime System. 219-237 BibTeX

Dependable Distributed Computing

Rachid Guerraoui, Benoît Garbinato, Karim Mazouni: Lessons from Designing and Implementing GARF. 238-256 BibTeX
Kazunori Takashio, Hidehisa Shitomi, Mario Tokoro: Design and Implementation of DROL Runtime Environment on Real-Time Mach Kernel. 257-272 BibTeX
Philippe Darche, Pierre-Guillaume Raverdy, Eric Commelin: ActNet: The Actor Model Applied to Mobile Robotic Environments. 273-289 BibTeX

Software Management

Luc Bellissard, Slim Ben Atallah, Alain Kerbrat, Michel Riveill: Component-Based Programming and Application Management with Olan. 290-309 BibTeX
Michiharu Tsukamoto, Yoichi Hamazaki, Toshihiro Nishioka, Hideyuki Otokawa: The Version Management Architecture of an Object-Oriented Distributed Systems Environment: OZ++. 310-328 BibTeX
Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden: Formal Semantics of Agent Evolution in Language Flage. 329-348 BibTeX