NetNews Usenet Archive 1992 #26/NN_1992_26.iso/spool/comp/object/4193

Text File | 1992-11-11 | 43.0 KB | 1,647 lines

Newsgroups: comp.object
Path: sparky!uunet!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!ira.uka.de!chx400!josef!maffeis
From: [e-mail] (Silvano Maffeis)
Subject: SUMMARY: Object Oriented Concurrent Programming
Message-ID: <[e-mail]>
Organization: University of Zurich, Department of Computer Science
Date: Wed, 11 Nov 92 06:11:56 GMT
Lines: 1637

Hello!

Ten days ago I posted here to ask about literature concerning Object Oriented
Concurrent Programming and programming systems therefore.

Thanks for all the interesting and helpful responses!

--silvano maffeis

Here the promised summary:

---------------------
From: Lars Buettner <[e-mail]>

The EMERALD language is an interesting approach to solve
these problems. This language, however, isn't useful in
massivly parallel or real-time systems due to it's
very complex operations. Design and features of EMERALD
seems to be applicable in other Environments.

literature references

Eric Jul: Object Mobility in a Distributd Object-Oriented System.
PhD thesis, TR 88-12-06, Department of Computer Science,
University of Washington, Seattle, December 1988

Norman C. Hutchinson, Rajindra K. Raj, Andrew P. Black, Henry M. Levy,
Eric Jul: The Emerald Programing Lanuage Report.
Technical Report 87-10-07, Department of Computer Science,
University of Washington, Seattle, October 1987


I'm involved in a project at Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Germany . Ths project is called PEACE an deals with design
and implementation of an OO operating system for massivly parallel
computers.
P++ were developed to permit distribution of objects and remote
object invocations. P++ is a preprocessor for C++.

literature references

Joerg Nolte: Language Level Support for Remote Object Invocation.
Technical Report, GMD FIRST, Berlin, Germany, 1992


There is another book, but I havn't read this.

Akinory Yonezawa, Mario Tokoro (eds.): Object-Oriented Concurrent
Programming. MIT Press, Cambridge (Mass.), 1987
__________________________________________

From: Paul Burchard <[e-mail]>

You should check out NeXT's version of Objective-C in their OS 3.0.
It has both multithreading and extremely transparent remote
message invocation (across threads, processes, and/or hosts).
__________________________________________

From: Oscar Nierstrasz <[e-mail]>

Here's a pretty representative bibliography.

Have fun!

Oscar

%L Agha86b
%K obc olit semantics obib(obcp)
%A Gul Agha
%T ACTORS: A Model of Concurrent Computation in Distributed Systems
%I MIT Press
%C Cambridge, Massachusetts
%D 1986

%L Aksi89a
%K obc olit sina binder (shelf)
%A Mehmet Aksit
%T On the Design of the Object-Oriented Language Sina
%R Ph.D. thesis
%I University of Twente
%D 1989

%L Amer86a
%K obc olit pool
%A Pierre America
%T Rationale for the design of POOL
%R Doc. No. 0053
%I Philips Research Laboratories
%C Eindhoven, The Netherlands
%D January 8, 1986

%L Amer86b
%K obc olit pool
%A Pierre America
%T Definition of the programming language POOL-T
%R Doc. No. 0091
%I Philips Research Laboratories
%C Eindhoven, The Netherlands
%D October 6, 1986

%L Amer86c
%K obc olit pool concurrency semantics binder(conc) popl86
%A Pierre America
%A Jaco de Bakker
%A Joost N. Kok
%A Jan Rutten
%T Operational Semantics of a Parallel Object-Oriented Language
%B Proceedings POPL '86
%C St. Petersburg Beach, Florida
%D Jan 13-15, 1986
%P 194-208

%L Amer87a
%K obc olit obcl oocp87
%A Pierre America
%T POOL-T: A Parallel Object-Oriented Language
%B Object-Oriented Concurrent Programming
%E A. Yonezawa, M. Tokoro
%I MIT Press
%C Cambridge, Massachusetts
%D 1987
%P 199-220

%L Amer89a
%K obc olit obcl pool semantics
%A Pierre America
%A Jaco de Bakker
%A J. Kok
%A Jan Rutten
%T Denotational Semantics of a Parallel Object-Oriented Language
%J Information and Computation
%V 83
%N 2
%D Nov 1989
%P 152-205

%L Amer89b
%K obc olit obcl pool semantics
%A Pierre America
%A Jaco de Bakker
%A Jan Rutten
%T A Parallel Object-Oriented Language: Design and Semantic Foundations
%R Ph.D. theses
%I CWI, Free University of Amsterdam
%D 1989

%L Amer90a
%K obc olit obcl pool oopsla90 ecoop90
%A Pierre America
%T A Parallel Object-Oriented Language with Inheritance and Subtyping
%J Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices
%V 25
%N 10
%D Oct 1990
%P 161-168

%L Amer90b
%K obc olit pool-i binder
%A Pierre America
%T Designing an Object-Oriented Programming Language with Behavioural Subtyping
%B Proc. REX/FOOLS Workshop
%C Noordwijkerhout
%D June 1990
%O to appear

%L Amer90c
%K obc olit pool binder
%A Pierre America
%A Jan Rutten
%T A Layered Semantics for a Parallel Object-Oriented Language
%B Proc. REX/FOOLS Workshop
%C Noordwijkerhout
%D June 1990
%O to appear

%L Amer92a
%K obc olit obc91
%A Pierre America
%T Formal Techniques for Parallel Object-Oriented Languages
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 119-140

%L Ande92a
%K obc olit obcl ellie joop
%A Birger Andersen
%T Ellie: a General, Fine-Grainedm First-Class, Object-Based Language
%J Journal of Object-Oriented Programming
%V 5
%N 2
%D May 1992
%P 35-42

%L Andr89a
%K obc olit obcl lo binder
%A Jean-Marc Andreoli
%A Remo Pareschi
%T Logic Programming with Sequent Systems -- A Linear Logic Approach
%B Proceedings of the Workshop on Extensions of Logic Programming
%S LNCS
%I Springer-Verlag
%D 1989

%L Andr90a
%K obc olit obcl lo oopsla90 ecoop90
%A Jean-Marc Andreoli
%A Remo Pareschi
%T LO and Behold! Concurrent Structured Processes
%J Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices
%V 25
%N 10
%D Oct 1990
%P 44-56

%L Andr90b
%K obc olit obcl lo concurrency binder
%A Jean-Marc Andreoli
%A Remo Pareschi
%T Linear Objects: Logical Processes with Built-In Inheritance
%B Proceedings 7th ICLP
%C Jerusalem
%D 1990

%L Andr91a
%K obc olit obcl lo concurrency binder
%A Jean-Marc Andreoli
%A Remo Pareschi
%T Linear Objects: Logical Processes with Built-In Inheritance
%J New Generation Computing
%V 9
%I OHMSHA and Springer-Verlag
%D 1991
%P 445-473

%L Andr92a
%K obc olit obc91
%A Jean-Marc Andreoli
%A Remo Pareschi
%A Marc Bourgois
%T Dynamic Programming as Multiagent Programming
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 163-176

%L Bal92a
%K obc olit orca obcp
%A H.E. Bal
%A M.F. Kaashoek
%A A.S. Tanenbaum
%T Orca: A Language for Parallel Programming of Distributed Systems
%J IEEE Transactions on Software Engineering
%V SE-18
%N 3
%D March 1992
%P 190-205

%L Blac87a
%K obc olit obcl concurrency emerald distribution binder
%A Andrew Black
%A Norman Hutchinson
%A Eric Jul
%A Henry Levy
%A Larry Carter
%T Distribution and Abstract Data Types in Emerald
%J IEEE Transactions on Software Engineering
%V SE-13
%N 1
%D Jan 1987
%P 65-76

%L Bos87a
%K obc olit procol
%A Jan van den Bos
%T PCOL -- A Protocol-Constrained Object Language
%J ACM SIGPLAN Notices
%V 22
%N 9
%D Sept 1987
%P 14-19

%L Bos89a
%K obc olit obcl procol oopsla89
%A Jan van den Bos
%A Chris Laffra
%T PROCOL -- A Parallel Object Language with Protocols
%J ACM SIGPLAN Notices, Proceedings OOPSLA '89
%V 24
%N 10
%D Oct 1989
%P 95-102

%L Brio87a
%K obc olit ecoop87
%A Jean-Pierre Briot
%A Akinori Yonezawa
%T Inheritance and Synchronization in Concurrent OOP
%B Proceedings ECOOP '87
%S LNCS 276
%E J. B\'ezivin, J-M. Hullot, P. Cointe and H. Lieberman
%I Springer Verlag
%C Paris, France
%D June 15-17, 1987
%P 32-40

%L Brio89a
%K obc olit smalltalk actalk actors ecoop89
%A Jean-Pierre Briot
%T Actalk: A Testbed for Classifying and Designing Actor Languages
in the Smalltalk-80 Environment
%B Proceedings ECOOP '89
%E S. Cook
%C Nottingham
%I Cambridge University Press
%D July 10-14, 1989
%P 109-129

%L Caro90a
%K obc olit obcl eiffel joop
%A Denis Caromel
%T Concurrency and Reusability: From Sequential to Parallel
%J Journal of Object-Oriented Programming
%V 3
%N 3
%D Sept/Oct 1990
%P 34-42

%L Chin91a
%K obc olit distribution
%A R.S. Chin
%A S.T. Chanson
%T Distributed Object-Based Programming Systems
%J ACM Computing Surveys
%V 23
%N 1
%D March 1991
%P 91-124

%L Doi88a
%K obc olit ecoop88
%A Norihisa Doi
%A Yasushi Kodama
%A Ken Hirose
%T An Implementation of an Operating System Kernel Using Concurrent
Object-Oriented Language ABCL/c+
%B Proceedings ECOOP '88
%S LNCS 322
%E S. Gjessing and K. Nygaard
%I Springer Verlag
%C Oslo
%D August 15-17, 1988
%P 250-266

%L Ferb83a
%K obc olit messages actors
%A Jacques Ferber
%T MERING, un langage d'acteurs pour la representation
et la manipulation de connaissances
%R These de docteur ingenieur
%I Universite de Paris VI
%D Dec 1983

%L Frol92a
%K obc olit ecoop92
%A Svend Fr\/olund
%T Inheritance of Synchronization Constraints in
Concurrent Object-Oriented Programming Languages
%B Proceedings ECOOP '92
%E O. Lehrmann Madsen
%S LNCS 615
%I Springer-Verlag
%C Utrecht, The Netherlands
%D June/July 1992
%P 185-196

%L Gent81a
%K obc olit messages thoth binder
%A Morven Gentleman
%T Message Passing Between Sequential Processes:
the Reply Primitive and the Administrator Concept
%J Software -- Practice and Experience
%V 11
%D 1981
%P 435-466

%L Hart92a
%K obc olit obc91
%A Thorsten Hartmann
%A Ralf Jungclaus
%T Abstract Description of Distributed Object Systems
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 227-244

%L Hoar85a
%K pcalc olit csp book obib(obcp)
%A C.A.R. Hoare
%T Communicating Sequential Processes
%I Prentice-Hall
%D 1985

%L Hogg87a
%K obc olit petri nets chloe oat87
%A John Hogg
%T Modelling Coordination Among Objects
%B Objects and Things
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D March 1987
%P 165-181

%L Hond88a
%K obc olit ecoop88
%A Yasuaki Honda
%A Akinori Yonezawa
%T Debugging Concurrent Systems Based on Object Groups
%B Proceedings ECOOP '88
%S LNCS 322
%E S. Gjessing and K. Nygaard
%I Springer Verlag
%C Oslo
%D August 15-17, 1988
%P 267-282

%L Hond92a
%K pcalc olit concurrency obc91 binder
%A Kohei Honda
%A Mario Tokoro
%T On Asynchronous Communication Semantics
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 21-51

%L Ishi86a
%K obc olit obcl orient84k knowrep actors oopsla86 obib(obcp)
%A Yutaka Ishikawa
%A Mario Tokoro
%T A Concurrent Object-Oriented Knowledge Representation
Language Orient84/K: Its Features and Implementation
%J Proceedings OOPSLA '86, ACM SIGPLAN Notices
%V 21
%N 11
%D Nov 1986
%P 232-241

%L Jouv89a
%K obc olit obc fx-87 concurrency binder
%A Pierre Jouvelot
%A David K. Gifford
%T Communication Effects for Message-Based Concurrency
%R MIT/LCS/TM-386
%I MIT
%D Feb. 1989

%L Kafu89a
%K obc olit obcl concurrency act++ inheritance ecoop89 binder(oop) obib(obcp)
%A Dennis G. Kafura
%A Keung Hae Lee
%T Inheritance in Actor Based Concurrent Object-Oriented Languages
%B Proceedings ECOOP '89
%E S. Cook
%C Nottingham
%I Cambridge University Press
%D July 10-14, 1989
%P 131-145

%L Kafu91a
%K obc olit obcl act++ obc90
%A Dennis G. Kafura
%A Greg Lavender
%T Recent Progress in Combining Actor-Based
Concurrency with Object-Oriented Programming
%J ACM OOPS Messenger, Proceedings OOPSLA/ECOOP 90 Workshop
on Object-Based Concurrent Systems
%V 2
%N 2
%D April 1991
%P 55-58

%L Kahn86a
%K obc olit obcl vulcan prolog oopsla86
%A Ken Kahn
%A Eric Dean Tribble
%A Mark S. Miller
%A Daniel G. Bobrow
%T Objects in Concurrent Logic Programming Languages
%J Proceedings OOPSLA '86, ACM SIGPLAN Notices
%V 21
%N 11
%D Nov 1986
%P 242-257

%L Kahn89a
%K obc olit logic ecoop89
%A K.M. Kahn
%T Objects -- A Fresh Look
%B Proceedings ECOOP '89
%E S. Cook
%C Nottingham
%I Cambridge University Press
%D July 10-14, 1989
%P 207-223

%L Kahn90a
%K obc olit obcl lucy janus oopsla90 ecoop90
%A Kenneth M. Kahn
%A Vijay A. Saraswat
%T Actors as a Special Case of Concurrent Constraint Programming
%J Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices
%V 25
%N 10
%D Oct 1990
%P 57-65

%L Kais88a
%K obc olit obcp concurrency prototyping binder(patterns)
%A Gail E. Kaiser
%A Simon M. Kaplan
%T Rapid Prototyping of Concurrent Programming Languages
%B Proceedings 8th International Conference on Distributed Computing Systems
%I IEEE Computer Society
%C San Jose, CA
%D June 13-17, 1988
%P 250-255

%L Kons88a
%K obc olit hybrid chloe aoe88
%A Dimitri Konstantas
%A Oscar Nierstrasz
%A Michael Papathomas
%T An Implementation of Hybrid, a Concurrent Object-Oriented Language
%B Active Object Environments
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D June 1988
%% REPORT
%P 61-105
%X This paper is a report on a prototype implementation of Hybrid, a
strongly-typed, concurrent, object-oriented language.  The
implementation we describe features a compile-time system for
translating Hybrid object type definitions into C, a run-time system
for supporting communication, obc and object persistence, and a
type manager that mediates between the two.

%L Kons91a
%K obc olit cell chloe oc91
%A Dimitri Konstantas
%T Cell: A Model for Strongly Distributed Object Based Systems
%B Object Composition
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D June 1991
%P 225-237
%O Working paper
%X Cell, a model for strongly Distributed Object Based systems is
discussed.  Its components, the nucleus and the membrane, are presented
and their characteristics are described. The notions of trading and
type transparency in the context of the Cell model are described and
issues related to their design and implementation are presented.

%L Krak90a
%K obc olit obcl guide joop
%A Sacha Krakowiak
%A M. Meysembourg
%A H. Nguyen Van
%A Michel Riveill
%A C. Roisin
%A X. Rousset de Pina
%T Design and Implementation of an Object-Oriented Strongly Typed
Language for Distributed Applications
%J Journal of Object-Oriented Programming
%V 3
%N 3
%D Sept/Oct 1990
%P 11-22

%L Kris87a
%K obc olit obcl concurrency beta rdoop87 binder(oop) obib(obcp)
%A Bent Bruun Kristensen
%A Ole Lehrmann Madsen
%A Birger M\/oller-Pedersen
%A Kristen Nygaard
%T The BETA Programming Language
%B Research Directions in Object-Oriented Programming
%E B. Shriver, P. Wegner
%I MIT Press
%C Cambridge, Massachusetts
%D 1987
%P 7-48

%L Laco91a
%K obc guide olit ecoop91 exceptions
%A Serge Lacourte
%T Exceptions in Guide, an Object-Oriented Language for Distributed
Applications
%B Proceedings ECOOP '91
%E P. America
%S LNCS 512
%I Springer-Verlag
%C Geneva, Switzerland
%D July 15-19, 1991
%P 268-287

%L Laff92a
%K obc olit obcl procol concurrency binder (shelf)
%A Chris Laffra
%T PROCOL -- A Concurrent Object Language with Protocols, Delegation,
Persistence and Constraints
%R Ph.D. Dissertation
%I Erasmus University of Rotterdam
%D May, 1992

%L Lamp83a
%K obc olit
%A Leslie Lamport
%T Specifying Concurrent Program Modules
%J ACM TOPLAS
%V 5
%N 2
%D April 1983
%P 190-222

%L Lesc92a
%K obc olit actalk concurrency obcl binder (shelf)
%A Lo\:ic Lescaudron
%T Prototypage d'environnements de programmation pours les langages \`a
objets concurrents: une r\'ealisation en Smalltak-80 pour Actalk
%R Ph.D. thesis
%I Universit\'e Paris VI
%D 1992

%L Lieb87a
%K obc olit obcl act1 oocp87 obib(obcp)
%A Henry Lieberman
%T Concurrent Object-Oriented Programming in Act 1
%B Object-Oriented Concurrent Programming
%E A. Yonezawa, M. Tokoro
%I MIT Press
%C Cambridge, Massachusetts
%D 1987
%P 9-36

%L Maru87a
%K obc olit paradise simulation ecoop87
%A Takeo Maruichi
%A Tetsuya Uchiki
%A Mario Tokoro
%T Behavioral Simulation Based on Knowledge Objects
%B Proceedings ECOOP '87
%S LNCS 276
%E J. B\'ezivin, J-M. Hullot, P. Cointe and H. Lieberman
%I Springer Verlag
%C Paris, France
%D June 15-17, 1987
%P 213-222

%L Mats91a
%K obc olit ecoop91
%A Satoshi Matsuoka
%A Takuo Watanabe
%A Akinori Yonezawa
%T Hybrid Group Reflective Architecture for Object-Oriented Concurrent
Reflective Programming
%B Proceedings ECOOP '91
%E P. America
%S LNCS 512
%I Springer-Verlag
%C Geneva, Switzerland
%D July 15-19, 1991
%P 231-250

%L Mats92a
%K obc olit obc91
%A Satoshi Matsuoka
%A Takuo Watanabe
%A Yuuji Ichisugi
%A Akinori Yonezawa
%T Object-Oriented Concurrent Reflective Architectures
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 211-226

%L McHa91a
%K obc olit obc concurrency binder
%A Ciaran McHale
%A Bridget Walsh
%A Se\'an Baker
%A Alexis Donnelly
%T Scheduling Predicates
%R draft
%D Feb. 28, 1991
%O submitted for publication

%L McHa92a
%K obc olit obc91
%A Ciaran McHale
%A Bridget Walsh
%A Se\'an Baker
%A Alexis Donnelly
%T Scheduling Predicates
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 177-193

%L Mese90a
%K obc olit obcl maude semantics oopsla90 ecoop90
%A Jos\'e Meseguer
%T A Logical Theory of Concurrent Objects
%J Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices
%V 25
%N 10
%D Oct 1990
%P 101-115

%L Mese92a
%K obc olit maude semantics binder (shelf)
%A Jos\'e Meseguer
%T A Logical Theory of Concurrent Objects and its Realization in the
Maude Language
%R SRI-CSL-92-08
%I SRI International
%D July 1992

%L Miln89a
%K pcalc olit ccs obib(obcp)
%A Robin Milner
%T Communication and Concurrency
%I Prentice-Hall
%D 1989

%L Moss87a
%K obc olit obcl trellis owl ecoop87 obib(obcp)
%A J. Eliot B. Moss
%A Walter H. Kohler
%T Concurrency Features for the Trellis/Owl Language
%B Proceedings ECOOP '87
%S LNCS 276
%E J. B\'ezivin, J-M. Hullot, P. Cointe and H. Lieberman
%I Springer Verlag
%C Paris, France
%D June 15-17, 1987
%P 171-180

%L Nguy86a
%K obc olit concepts messages oopws86
%A V. Nguyen
%A Brent Hailpern
%T A Generalized Object Model
%J ACM SIGPLAN Notices
%V 21
%N 10
%D Oct 1986
%P 78-87

%L Nier87a
%K obc olit hybrid types chloe oat87
%A Oscar Nierstrasz
%T Hybrid -- A Language for Programming with Active Objects
%B Objects and Things
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D March 1987
%% REPORT
%P 15-42

%L Nier87b
%K obc olit hybrid triggers deadlock chloe oat87
%A Oscar Nierstrasz
%T Triggering Active Objects
%B Objects and Things
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D March 1987
%% REPORT
%P 43-78

%L Nier87c
%K obc olit obcl hybrid triggers chloe oopsla87 obib(obcp)
%A Oscar Nierstrasz
%T Active Objects in Hybrid
%J Proceedings OOPSLA '87, ACM SIGPLAN Notices
%V 22
%N 12
%D Dec 1987
%P 243-253
%X Introduces the obc features of Hybrid, an object-oriented
language that supports persistent, active objects.

%L Nier88a
%K obc olit abacus chloe aoe88
%A Oscar Nierstrasz
%T Mapping Object Descriptions to Behaviours
%B Active Object Environments
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D June 1988
%P 106-113
%% REPORT

%L Nier89c
%K obc olit abacus obcp89
%A Oscar Nierstrasz
%T Two Models of Concurrent Objects
%J ACM SIGPLAN Notices, Proceedings Workshop on Object-Based
Concurrent Programming (San Diego, Sept 26-27, 1988)
%V 24
%N 4
%D April 1989
%P 174-176

%L Nier89e
%K obc olit obcl hybrid tour chloe
%A Oscar Nierstrasz
%T A Tour of Hybrid
%B Les Mardis Objets du CRIN, CRIN 89-R-072
%E G. Masini, A. Napoli, D. Colnet, D. L\'eonard, K. Tombre
%I Centre de Recherche en Informatique de Nancy,
Vandoeuvre-l\`es-Nancy
%D 1989
%P 237-248
%% REPORT

%L Nier90a
%K obc olit semantics abacus oopsla90 ecoop90 chloe om90
%A Oscar Nierstrasz
%A Michael Papathomas
%T Viewing Objects as Patterns of Communicating Agents
%J Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices
%V 25
%N 10
%D Oct 1990
%P 38-43
%X Following our own experience developing a concurrent object-oriented
language as well of that of other researchers, we have identified
several key problems in the design of a obc model compatible
with the mechanisms of object-oriented programming. We propose an
approach to language design in which an executable notation describing
the behaviour of communicating agents is extended by syntactic patterns
that encapsulate language constructs. We indicate how various language
models can be accommodated, and how mechanisms such as inheritance can
be modeled. Finally, we introduce a new notion of types that
characterizes concurrent objects in terms of their externally visible
behaviour.
%% MIR

%L Nier90c
%K pcalc olit semantics abacus chloe om90
%A Oscar Nierstrasz
%T A Guide to Specifying Concurrent Behaviour with Abacus
%B Object Management
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D July 1990
%P 267-293
%X We present the syntax, semantics and usage of Abacus, an executable
notation for specifying concurrent computations that extends CCS with
label prefixing and filtering operators for encapsulating systems of
communicating agents and a pattern mechanism for parameterizing
behaviour expressions. Abacus is intended to be used as a semantic
target and a prototyping tool for the specification of concurrent
object-based languages and systems. We illustrate the use of Abacus
through a series of standard obc examples, concluding with an
executable specification of SAL, a Simple Actor Language.
%% REPORT

%L Nier90d
%K obc olit semantics abacus chloe om90 obc90
%A Oscar Nierstrasz
%A Michael Papathomas
%T Towards a Type Theory for Active Objects
%J ACM OOPS Messenger, Proceedings OOPSLA/ECOOP 90 Workshop
on Object-Based Concurrent Systems
%V 2
%N 2
%D April 1991
%P 89-93
%X Currently popular notions of types, such as signature compatibility,
fail to express essential properties of concurrent active objects that
are necessary for their correct use in new contexts. We propose and
explore a new notion of compatibility called interaction conformance
defined in terms of the possible interactions between an object and its
clients. We relate interaction conformance to known equivalence
relations between communicating concurrent agents, and we show that, by
viewing types as certain kinds of indeterminate agents, interaction
conformance gives us a subtype relationship. We briefly explore the
potential for applying these ideas to concurrent object-oriented
languages.

%L Nier91a
%K obc olit hybrid abacus scol chloe oc91
%A Oscar Nierstrasz
%T The Next 700 Concurrent Object-Oriented Languages -- Reflections on the
Future of Object-Based Concurrency
%B Object Composition
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D June 1991
%P 165-187
%X There has been a flurry of activity in recent years to extend
existing languages with object-oriented features, and to extend
object-oriented concepts and languages with seemingly orthogonal
features, such as obc and persistence, to improve their
expressive power and potential as a solution to the "software crisis".
In many cases these integration efforts have uncovered various forms of
semantic interference between features. We claim that the majority of
these difficulties are concerned with the very aspect of
object-orientation that we seek most urgently to exploit, namely
software compositionality. We shall review the problems of integrating
obc and object-oriented features from this viewpoint and
discuss some of the more important requirements to be met. Finally, we
propose a view of objects as patterns of communicating agents that
suggests the development of a class of concurrent object-oriented
languages parameterized by patterns that address the needs of
particular application domains.
%% REPORT

%L Nier92a
%K pcalc olit oc chloe obc91 of92
%A Oscar Nierstrasz
%T Towards an Object Calculus
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 1-20
%X The development of concurrent object-based programming languages has
suffered from the lack of any generally accepted formal foundations for
defining their semantics.  Furthermore, the delicate relationship
between object-oriented features supporting reuse and operational
features concerning interaction and state change is poorly understood
in a concurrent setting.  To address this problem, we propose the
development of an object calculus, borrowing heavily from relevant work
in the area of process calculi.  To this end, we briefly review some of
this work, we pose some informal requirements for an object calculus,
and we present the syntax, operational semantics and use through
examples of a proposed object calculus, called OC.

%L Nier92b
%K olit chloe of92
%A Oscar Nierstrasz
%A Simon Gibbs
%A Dennis Tsichritzis
%T Component-Oriented Software Development
%J Communications of the ACM
%V 35
%N 9
%D Sept 1992
%P 160-165
%X Object-oriented programming techniques promote a new approach to
software engineering in which reliable, open applications can be
largely constructed, rather than programmed, by reusing "frameworks" of
plug-compatible software components. We outline a series of ongoing
research projects at the University of Geneva that address
component-oriented software development at the levels of languages,
tools and frameworks, in particular, (1) the integration of
object-oriented language features that support software composition
with features concerned with other issues, like obc, (2)
application development tools to support composition and reuse, and (3)
the development of reusable application frameworks, specifically in the
domain of multimedia applications.

%L Nier92c
%K obc olit hybrid tour chloe
%A Oscar Nierstrasz
%T A Tour of Hybrid -- A Language for Programming with Active Objects
%B Advances in Object-Oriented Software Engineering
%E D. Mandrioli, B. Meyer
%I Prentice-Hall
%D 1992
%P 167-182
%X Object-oriented programming is a powerful paradigm for organizing
software into reusable components.  There have been several attempts to
adapt and extend this paradigm to the programming of concurrent and
distributed applications.  Hybrid is a language whose design attempts
to retain multiple inheritance, genericity and strong-typing, and
incorporate a notion of active objects.  Objects in Hybrid are
potentially active entities that communicate with one another through a
message-passing protocol loosely based on remote procedure calls.
Non-blocking calls and delay queues are the two basic mechanisms for
interleaving and scheduling activities.  A prototype implementation of
a compiler and run-time system for Hybrid have been completed.  We
shall review aspects of the language design and attempt to evaluate its
shortcomings.  We conclude with a list of requirements that we pose as
a challenge for the design of future concurrent object-oriented
languages.

%L NierXXX
%K obc olit hybrid oc scol chloe
%A Oscar Nierstrasz
%T Composing Active Objects --
The Next 700 Concurrent Object-Oriented Languages
%B Research Directions in Object-Based Concurrency
%E G. Agha, P. Wegner and A. Yonezawa
%O to appear
%X Many of the shortcomings of present-day object-oriented programming
languages can be traced to two phenomena:  (i) the lack of general
support for software composition, and (ii) the semantic interference
between language features addressing operational and compositional
aspects of object-oriented programming.  To remedy this situation, we
propose the development of a "pattern language" for active objects in
which objects and, more generally, applications, are constructed by
composing software patterns.  A "pattern" can be any reusable
software abstraction, including functions, objects, classes and
generics.  In this paper we seek to establish both informal
requirements for a pattern language and a formal basis for defining the
semantics of patterns.  First, we identify some basic requirements for
supporting object composition and we review the principal language
design choices with respect to these requirements.  We then survey the
various problems of semantic interference in existing languages.  Next,
we present a formal "object calculus" and show how it can be used to
define the semantics of patterns in much the same way that the lambda
calculus can be used to give meaning to constructs of functional
programming languages.  We conclude by summarizing the principle open
problems that remain to define a practical pattern language for active
objects.

%L Obcp89a
%K obc olit obcp89 obib(obcp)
%Q Workshop on Object-Based Concurrent Programming
%T Workshop Proceedings
%J ACM SIGPLAN Notices
%E G. Agha, P. Wegner, A. Yonezawa
%V 24
%N 4
%C San Diego, (Sept 26-27, 1988)
%D April 1989

%L Owe88a
%K obc olit obc concurrency lift binder
%A Olaf Owe
%T The Response Function method for Specifying Concurrent Systems
%R Research Report No. 96
%I University of Oslo, Dept. Informatics
%D April 1988

%L Papa89a
%K obc olit chloe ood89
%A Michael Papathomas
%T Concurrency Issues in Object-Oriented Programming Languages
%B Object Oriented Development
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D July 1989
%P 207-245

%L Papa90a
%K obc olit hybrid chloe om90
%A Michael Papathomas
%A Dimitri Konstantas
%T Integrating Concurrency and Object-Oriented Programming --
An Evaluation of Hybrid
%B Object Management
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D July 1990
%P 229-244
%X In this paper we address the effective use of the object-oriented
programming approach for concurrent programming from a language design
viewpoint. We present a set of requirements for the design of
concurrent object-oriented languages. We then use a particular
language, Hybrid, as a concrete example and examine to what extent its
features meet these requirements. We identify the solutions offered by
Hybrid and its shortcomings and we underline both the difficulties and
promising directions for the design of concurrent object-oriented languages.

%L Papa91a
%K obc olit chloe oc91
%A Michael Papathomas
%A Oscar Nierstrasz
%T Supporting Software Reuse in Concurrent Object-Oriented Languages: Exploring
the Language Design Space
%B Object Composition
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D June 1991
%P 189-204
%X The design of programming languages that cleanly integrate
obc constructs and object-oriented features that promote
software reuse is an open problem. We describe a design space that
characterizes approaches to object-oriented obc in terms of a
number of language design choices concerning the relationship between
objects and obc. We identify requirements for software reuse
and, with the help of an example that illustrates several of these
requirements, explore the design space in order to evaluate which
design choices interfere with reuse and which appear to adequately
support it. We conclude by highlighting open research issues which, we
believe, are essential for achieving effective reuse of concurrent
software.
%% REPORT

%L Papa91b
%K obc olit chloe oc91
%A Michael Papathomas
%T A Unifying Framework for Process Calculus Semantics of Concurrent
Object-Based Languages and Features
%B Object Composition
%E D. Tsichritzis
%I Centre Universitaire d'Informatique, University of Geneva
%D June 1991
%P 205-224
%O Working paper
%X A framework for the semantic description of concurrent
object-oriented languages based on CCS is outlined. We discuss how the
essential object-oriented features, such as encapsulation, object
identity, classes, inheritance and obc are captured. Then, the
proposed framework is used for defining the semantics of significantly
different versions of a toy language which supports the above features.
The ease with which the different versions of this language are
accommodated provides some evidence for the applicability of the
framework for a wide range of languages, as well as its usefulness for
comparing different language designs and examining the interaction of a
rich set of object-oriented features.

%L Papa92a
%K obc olit chloe obc91
%A Michael Papathomas
%T A Unifying Framework for Process Calculus Semantics of
Concurrent Object-Oriented Languages
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 53-79

%L Papa92b
%K obc olit chloe
%A Michael Papathomas
%T Language Design Rationale and Semantic Framework for Concurrent
Object-Oriented Programming
%R Ph.D. thesis No. 2522
%I Dept. of Computer Science, University of Geneva
%D 1992

%L Parr88a
%K obc olit ecoop88
%A Graham D. Parrington
%A Santosh K. Shrivastava
%T Implementing Concurrency Control in Reliable Object-Oriented Systems
%B Proceedings ECOOP '88
%S LNCS 322
%E S. Gjessing and K. Nygaard
%I Springer Verlag
%C Oslo
%D August 15-17, 1988
%P 233-249

%L Purc90a
%K obc olit oopsla90 ecoop90 obc binder
%A Jan A. Purchase
%A Russel L. Winder
%T Message Pattern Specifications: A New Technique for Handling Errors
in Parallel Object Oriented Systems
%J Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices
%V 25
%N 10
%D Oct 1990
%P 116-125

%L Regh91a
%K obc olit ecoop91
%A Stefano Crespi Reghizzi
%A Guido Galli de Paratesi
%A Stefano Genolini
%T Definition of Reusable Concurrent Software Components
%B Proceedings ECOOP '91
%E P. America
%S LNCS 512
%I Springer-Verlag
%C Geneva, Switzerland
%D July 15-19, 1991
%P 148-166

%L Sale92a
%K obc olit obc91
%A Hayssam Saleh
%A Philippe Gautron
%T A Concurrency Control Mechanism for C++ Objects
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 195-210

%L Sand89a
%K obc olit READ
%A B. Sanden
%T An Entity-Life Modeling Approach to the Design of Concurrent Systems
%J CACM
%V 32
%N 3
%D March 1989
%P 330-343

%L Shib88a
%K obc olit oopsla88
%A Etsuya Shibayama
%T How To Invent Distributed Implementation Schemes of an Object-Based
Concurrent Language: A Transformational Approach
%J Proceedings OOPSLA '88, ACM SIGPLAN Notices
%V 23
%N 11
%D Nov 1988
%P 297-305

%L Shib92a
%K obc olit obc91
%A Etsuya Shibayama
%T Semantic Layers of Object-Based Concurrent Computing
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 99-117

%L Shin84a
%K obc olit recovery reliability
%A K.G. Shin
%A Yut-Fai Lee
%T Evaluation of Error Recovery Blocks Used for Cooperating Processes
%J IEEE Transactions on Software Engineering
%V SE-10
%N 6
%D Nov 1984
%P 692-700

%L Shoc82a
%K obc olit distribution worms
%A J. Shoch
%A J. Hupp
%T The Worm Programs -- Early Experience with a Distributed Computation
%J CACM
%V 25
%N 3
%D March 1982
%P 172-180

%L Silb84a
%K obc olit distribution
%A A. Silberschatz
%T Cell: A Distributed Computing Modularization Concept
%J IEEE Transactions on Software Engineering
%V SE-10
%N 2
%D March 1984
%P 178-185

%L Toko86a
%K obc olit obcl orient84k knowrep actors oopws86
%A Mario Tokoro
%A Yutaka Ishikawa
%T Concurrent Programming in Orient84/K:
An Object-Oriented Knowledge Representation Language
%J ACM SIGPLAN Notices
%V 21
%N 10
%D Oct 1986
%P 39-48

%L Toml88a
%K obc olit obcl oocda89 obib(obcp)
%A Chris Tomlinson
%A M. Scheevel
%T Concurrent Object-Oriented Programming Languages
%B Object-Oriented Concepts, Databases and Applications
%E W. Kim and F. Lochovsky
%I ACM Press and Addison-Wesley
%D 1989
%P 79-124

%L Toml89a
%K obc olit obcl rosette oopsla89
%A Chris Tomlinson
%A Vineet Singh
%T Inheritance and Synchronization with Enabled Sets
%J Proceedings OOPSLA '89, ACM SIGPLAN Notices
%V 24
%N 10
%D Oct 1989
%P 103-112

%L Trip88a
%K obc olit obcl sina joop
%A Anand Tripathi
%A Mehmet Aksit
%T Communication, Scheduling and Resource Management in SINA
%J Journal of Object-Oriented Programming
%V 2
%N 4
%D Nov/Dec 1988
%P 24-36

%L Tsic85c
%K obc olit appl knos hybrid
%A Dennis Tsichritzis
%A Oscar Nierstrasz
%T End User Objects
%J B\:uroautomation '85 (German Chapter of the ACM, Berichte 25)
%E H. Wedekind/K. Kratzer
%I B.G. Teubner
%C Stuttgart
%D Oct 4, 1985
%P 215-232

%L Tsic88b
%K oodb olit ecoop88 chloe aoe88 obib(oodb)
%A Dennis Tsichritzis
%A Oscar Nierstrasz
%T Fitting Round Objects into Square Databases
%B Proceedings ECOOP '88
%S LNCS 322
%E S. Gjessing and K. Nygaard
%I Springer Verlag
%C Oslo
%D August 15-17, 1988
%P 283-299
%% MIR
%X Object-oriented systems could use much of the functionality of
database systems to manage their objects.  Persistence, object
identity, storage management, distribution and obc control are
some of the things that database systems traditionally handle well.
Unfortunately there is a fundamental difference in philosophy between
the object-oriented and database approaches, namely that of object
independence versus data independence.  We discuss the ways in which
this difference in outlook manifests itself, and we consider the
possibilities for resolving the two views, including the current work
on object-oriented databases.  We conclude by proposing an approach to
co-existence that blurs the boundary between the object-oriented
execution environment and the database.

%L Vasc92a
%K obc olit obc91
%A Vasco Vasconcelos
%A Mario Tokoro
%T Traces Semantics for Actor Systems
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 141-162

%L Vauc88a
%K obc olit ecoop88
%A Jean Vaucher
%A Guy Lapalme
%A Jacques Malenfant
%T SCOOP, Structured Concurrent Object-Oriented Prolog
%B Proceedings ECOOP '88
%S LNCS 322
%E S. Gjessing and K. Nygaard
%I Springer Verlag
%C Oslo
%D August 15-17, 1988
%P 191-211

%L Wata88a
%K obc olit obcl abclr oopsla88
%A Takuo Watanabe
%A Akinori Yonezawa
%T Reflection in an Object-Oriented Concurrent Language
%J Proceedings OOPSLA '88, ACM SIGPLAN Notices
%V 23
%N 11
%D Nov 1988
%P 306-315

%L Wegn92a
%K obc olit obc91
%A Peter Wegner
%T Design Issues for Object-Based Concurrency
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 245-256

%L Wolf92a
%K obc concurrency olit obc91
%A David Wolfram
%A Joseph A. Goguen
%T A Sheaf Semantics for FOOPS Expressions
%B Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing
%E M. Tokoro, O. Nierstrasz, P. Wegner
%S LNCS 612
%I Springer-Verlag
%D 1992
%P 81-98

%L Yoko86a
%K obc olit obcl concurrentsmalltalk oopsla86
%A Yasuhiko Yokote
%A Mario Tokoro
%T The Design and Implementation of ConcurrentSmalltalk
%J Proceedings OOPSLA '86, ACM SIGPLAN Notices
%V 21
%N 11
%D Nov 1986
%P 331-340

%L Yoko87a
%K obc olit obcl concurrentsmalltalk obib(obcp)
%A Yasuhiko Yokote
%A Mario Tokoro
%T Concurrent Programming in ConcurrentSmalltalk
%B Object-Oriented Concurrent Programming
%E A. Yonezawa, M. Tokoro
%I MIT Press
%C Cambridge, Massachusetts
%D 1987
%P 129-158

%L Yoko87b
%K obc olit obcl concurrentsmalltalk obib(obcp) oopsla87
%A Yasuhiko Yokote
%A Mario Tokoro
%T Experience and Evolution of ConcurrentSmalltalk
%J Proceedings OOPSLA '87, ACM SIGPLAN Notices
%V 22
%N 12
%D Dec 1987
%P 406-415

%L Yone86a
%K obc olit obcl abcl1 lisp oopsla86 obib(obcp)
%A Akinori Yonezawa
%A Jean-Pierre Briot
%A Etsuya Shibayama
%T Object-Oriented Concurrent Programming in ABCL/1
%J Proceedings OOPSLA '86, ACM SIGPLAN Notices
%V 21
%N 11
%D Nov 1986
%P 258-268

%L Yone87a
%K obc olit obib(obcp)
%A Akinori Yonezawa
%A Mario Tokoro
%T Object-Oriented Concurrent Programming
%I MIT Press
%C Cambridge, Massachusetts
%D 1987

%L Yone87b
%K obc olit abcl
%A Akinori Yonezawa
%A Etsuya Shibayama
%A T. Takada
%A Yasuaki Honda
%T Modelling and Programming in an Object-Oriented Concurrent Language ABCL/1
%B Object-Oriented Concurrent Programming
%E A. Yonezawa, M. Tokoro
%I MIT Press
%C Cambridge, Massachusetts
%D 1987
%P 55-89

%L Zimm84a
%K obc olit messages chorus actors binder (shelf)
%A H. Zimmermann
%A M. Guillemont
%A G. Morisset
%A J. Banino
%T Chorus: A Communication and Processing Architecture
for Distributed Systems
%I INRIA
%C Rocquencourt
%R Research report no. 328
%D Sept 1984
__________________________________________

From: Markus Fromherz <[e-mail]>

\bibitem{Eliens91}
A.\ Eli\"ens, ``Distributed Logic Programming for Artificial
Intelligence'', in: {\it AI Communications}, vol.\ 4, no.\ 1, 1991,
pp.\ 11--21.

\bibitem{ShapiroTakeuchi83}
E.\ Shapiro, A.\ Takeuchi, ``Object Oriented Programming in Concurrent
Prolog'', in: {\it New Generation Computing}, vol.\ 1, 1983, pp.\
25-48.
__________________________________________
From: [e-mail] (Joe Armstrong)

    Concurrent Programming In Erlang
    Armstrong, Virding and Williams
    Prentice Hall 1993

    (should be ready in March)

    Joe Armstrong


__________________________________________
From: [e-mail]

    Try in cui.unige.ch.    There is an active research group especializing
in this research area. You can anonymously ftp a lot of articles wich resume
their work.
__________________________________________

From: Dietmar Lammers <[e-mail]>

I have a little bit -- at the end of this mail
a (quick and dirty) extract from my bibtex-file follows.
Reinspecting it, most references are rather old --
maybe you get newer hints somewhere.

here it comes:

@book{
Yonezawa:90,
editor = {Akinori Yonezawa},
title = {ABLC -- An Object-Oriented Concurrent System},
publisher = {MIT Press},
adress = {London, England},
Year = {1991}
}

@book{
 Agha:86,
 author = {Agha, Gul},
 title = {Actors: A Model of Concurrent Computation in Distributed Systems},
 publisher = {MIT Press},
 adress = {Cambridge Massachusetts, London England},
 year = {1986}
}

@incollection{
 Agha/Hewitt:87,
 author = {Agha,Gul and Hewitt,Carl},
 title = {Concurrent Programming using Actors},
 booktitle = {\cite{Yonezawa/Tokoro:87}},
 year = {1987}
}

@book{
 LNCS:612,
 editor = {Mario Tokoro and Oscar Nierstrasz and Peter Wegner},
 title = {Object-Based Concurrent Computing},
 series = {LNCS},
 volume = {612},
 publisher=Springer,
 year = {1992}
}



@incollection{
 America:87a,
 author = {America,P.},
 title = {POOL-T: A Parallel Object-Oriented Language},
 booktitle = {\cite{Yonezawa/Tokoro:87}},
 year = {1987}
}

@incollection{
 Briot/Yonezawa:87,
 author = {Briot,J.-P. and Yonezawa,A.},
 title = {Inheritance and Synchronisation in Concurrent OOP},
 booktitle = {\cite{ECOOP:87}},
 year = {1987}
}

@incollection{
 Goering/Kaplan:89,
 author = {Goering,S.K. and Kaplan,S.M.},
 title = {Visual concurrent Object-Based Programming in GARP},
 booktitle = {\cite{PARLE:89b}},
 year = {1989}
}



@article{
 Jul:88,
 author = {{Jul et al.},Eric},
 title = {Fine Grained Mobility in the Emerald System},
 journal = {ACMTOCS},
 volume = {6},
 number = {1},
 year = {1988}
}

@incollection{
 Shibayama/Yonezawa:87,
 author = {Shibayama,E. and Yonezawa,A.},
 title = {Distributed Computing in ABLC/1},
 booktitle = {\cite{Yonezawa/Tokoro:87}},
 year = {1987}
}
@incollection{
 Yokote/Tokoro:87a,
 author = {Yokote,Y. and Tokoro,M.},
 title = {Concurrent Programming in {C}oncurrent{S}malltalk},
 booktitle = {\cite{Yonezawa/Tokoro:87}},
 year = {1987}
}

@book{
 Yonezawa/Tokoro:87,
 editor = {Yonezawa,A. and Tokoro,M.},
 title = {Object-Oriented Concurrent Programming},
 publisher = {MIT Press},
 adress = {Cambridge Massachusetts, London England},
 year = {1987}
}




--
Silvano Maffeis       CS Dept. University of Zurich, Switzerland
   RFC822: [e-mail]            voice: [phone]
   X.400: /S=maffeis/OU=ifi/O=unizh/PRMD=SWITCH/ADMD=ARCOM/C=CH/