Object-based concurrent programming. ECOOP '91, Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings (Q1202011)

The articles of this volume will not be indexed individually. The editors of the book have selected 13 papers supporting of the opinion that the concurrent object based computing will open a new computational paradigm for 1990s and beyond. The book contains four groups of papers. The first group is entitled Formal Methods(1). It contains three papers on process calculi based semantics of parallel object oriented computing. The first paper proposes an object calculus. The second paper develops an equational theory called asynchronous bisilumation that is based on the \(\pi\)-calculus. The last paper of this group proposes a unifying framework for a semantic definition of concurrent object based languages by its translation to CCS. The second group, Formal Methods(2), contains four papers that are concerned with various formal semantics of concurrent object based programming. In this part of the book, one can find a paper on sheaf semantics, a paper that proposes a layered semantic model, an overview of the formal techniques for the POOL family of programming languages and a paper that gives a concurrent trace semantics for Actor-like concurrent systems. The third group is devoted to Concurrent Programming and has three papers. The first is concerned with concurrent dynamic programming. The second paper introduces a new synchronization mechanism called scheduling predicates allow a scheduling technique that is based on relative arrival times, values of parameters and built-in synchronization counters. The last paper proposes a \(C++\) synchronization mechanism called conditional wait. The last group, Models, contains three papers on models for concurrent systems. The reflective architectures and the current state of the ABCL/R architecture are discussed in the first paper. The second paper describes an object-oriented model called Basic Object Model. The last paper contains a discussion panel on design issues for Object-Based Concurrency.