Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches Book

	Preface
Pt. 1	Object-Oriented Distributed Systems
1	Issues in Distributed Systems	3
2	Distributed Systems, An ODP Perspective	18
3	Issues in Formal Methods	36
Pt. 2	Specification Notations
4	Finite State Machine Based: SDL	55
5	Process Calculi: E-LOTOS	77
6	State-Based Approaches: From Z to Object-Z	105
7	The Unified Modeling Language	126
Pt. 3	Dynamic Reconfiguration
8	Actors: A Model for Reasoning About Open Distributed Systems	155
9	[pi]-Calculi	177
10	Mobile Ambients	198
Pt. 4	Subtyping
11	Subtyping in Distributed Systems	233
12	Behavioural Subtyping Using Invariants and Constraints	254
13	Behavioural Typing for Objects and Process Calculi	281
Pt. 5	Concurrent OO Languages
14	Reflection in Concurrent Object-Oriented Languages	305
15	Inheritance in Concurrent Objects	326
Pt. 6	Nonfunctional Requirements
16	Multimedia in the E-LOTOS Process Algebra	357
17	Specifying and Analysing Multimedia Systems	373
Pt. 7	Development Architectures
18	Piccola - A Small Composition Language	403
19	Specification Architectures	427
20	Viewpoints Modelling	451
	Author Index	476
	Subject Index	477