Research Directions in Concurrent Object-Oriented Programming Book

	Preface
	Summary of Papers
1	Abstraction and Modularity Mechanisms for Concurrent Computing	3
2	Tradeoffs between Reasoning and Modeling	22
3	A Survey of Logic Programming-Based Object-Oriented Languages	42
4	Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages	107
5	Composing Active Objects	151
6	Supporting Modularity in Highly-Parallel Programs	175
7	Multiple Concurrency Control Policies in an Object-Oriented Programming System	195
8	Ports for Objects in Concurrent Logic Programs	211
9	Specifying Concurrent Languages and Systems with [Delta]-GRAMMARS	235
10	Interaction Abstract Machines	257
11	CC++: A Declarative Concurrent Object-Oriented Programming Notation	281
12	A Logical Theory of Concurrent Objects and Its Realization in the Maude Language	314
13	CHOICES: A Parallel Object-Oriented Operating System	393
14	COSMOS: An Operating System for a Fine-Grain Concurrent Computer	452
15	Monitoring Concurrent Object-Based Programs	479
	Contributors	511
	Name index	521
	Subject Index	527