ECOOP Workshop 1991: Object-Based Concurrent Computing

Mario Tokoro, Oscar Nierstrasz, Peter Wegner (Eds.): Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings. Lecture Notes in Computer Science 612 Springer 1992, ISBN 3-540-55613-3 BibTeX

@proceedings{DBLP:conf/ecoopw/1991,
  editor    = {Mario Tokoro and
               Oscar Nierstrasz and
               Peter Wegner},
  title     = {Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva,
               Switzerland, July 15-16, 1991, Proceedings},
  booktitle = {Object-Based Concurrent Computing},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {612},
  year      = {1992},
  isbn      = {3-540-55613-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Formal Methods (1)

Oscar Nierstrasz: Towards and Object Calculus. 1-20 BibTeX
Kohei Honda, Mario Tokoro: On Asynchronous Communication Semantics. 21-51 BibTeX
Michael Papathomas: A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages. 53-79 BibTeX

Formal Methods (2)

David A. Wolfram, Joseph A. Goguen: A Sheaf Semantics for FOOPS Expressions. 81-98 BibTeX
Etsuya Shibayama: Semantic Layers of Object-Based Concurrent Computing. 99-117 BibTeX
Pierre America: Formal Techniques for Parallel Object-Oriented Languages. 119-140 BibTeX
Vasco Thudichum Vasconcelos, Mario Tokoro: Traces Semantics for Actor Systems. 141-162 BibTeX

Concurrent Programming

Jean-Marc Andreoli, Remo Pareschi, Marc Bourgois: Dynamic Programming as Multiagent Programming. 163-176 BibTeX
Ciaran McHale, Bridget Walsh, Seán Baker, Alexis A. Donnelly: Scheduling Predicates. 177-193 BibTeX
Hayssam Saleh, Philippe Gautron: A Concurrency Control Mechanism for C++ Objects. 195-210 BibTeX

Models

Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa: Object-Oriented Concurrent Reflective Architectures. 211-226 BibTeX
Thorsten Hartmann, Ralf Jungclaus: Abstract Description of Distributed Object Systems. 227-244 BibTeX
Peter Wegner: Desgin Issues for Object-Based Concurrency. 245-256 BibTeX

Panel

Pierre America, Robin Milner, Oscar Nierstrasz, Mario Tokoro, Akinori Yonezawa: What Is An Object? 257-264 BibTeX