


default search action
ECOOP Workshop 1991: Object-Based Concurrent Computing
- Mario Tokoro, Oscar Nierstrasz, Peter Wegner:

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
Formal Methods (1)
- Oscar Nierstrasz:

Towards and Object Calculus. 1-20 - Kohei Honda, Mario Tokoro:

On Asynchronous Communication Semantics. 21-51 - Michael Papathomas:

A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages. 53-79
Formal Methods (2)
- David A. Wolfram

, Joseph A. Goguen:
A Sheaf Semantics for FOOPS Expressions. 81-98 - Etsuya Shibayama

:
Semantic Layers of Object-Based Concurrent Computing. 99-117 - Pierre America:

Formal Techniques for Parallel Object-Oriented Languages. 119-140 - Vasco Thudichum Vasconcelos, Mario Tokoro:

Traces Semantics for Actor Systems. 141-162
Concurrent Programming
- Jean-Marc Andreoli, Remo Pareschi

, Marc Bourgois:
Dynamic Programming as Multiagent Programming. 163-176 - Ciaran McHale, Bridget Walsh, Seán Baker, Alexis A. Donnelly:

Scheduling Predicates. 177-193 - Hayssam Saleh, Philippe Gautron:

A Concurrency Control Mechanism for C++ Objects. 195-210
Models
- Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa:

Object-Oriented Concurrent Reflective Architectures. 211-226 - Thorsten Hartmann, Ralf Jungclaus:

Abstract Description of Distributed Object Systems. 227-244 - Peter Wegner:

Desgin Issues for Object-Based Concurrency. 245-256
Panel
- Pierre America, Robin Milner, Oscar Nierstrasz, Mario Tokoro, Akinori Yonezawa:

What Is An Object? 257-264

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














