Object-Based Concurrent Computing: Ecoop '91 Workshop, Geneva, Switzerland, July 15-16, 1991 : Proceedings
真理雄 所, Oscar Nierstrasz, Peter W. Wegner · Medical Entomology and Zoology · 1992
Towards an object calculus.- On asynchronous communication semantics.- A unifying framework for process calculus semantics of concurrent object-oriented languages.- A sheaf semantics for FOOPS expressions (extended abstract).- Semantic layers of object-based concurrent computing.- Formal techniques for parallel object-oriented languages.- Trace semantics for actor systems.- Dynamic programming as multiagent programming.- Scheduling predicates.- A concurrency control mechanism for C++ objects.- Object-Oriented Concurrent Reflective architectures.- Abstract description of distributed object systems.- Design issues for object-based concurrency.- Panel: What is an object?.