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?.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.