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.