| Preface | |
| Infrastructural software for model driven distributed manufacturing systems | p. 1 |
| Methodology and tools for the development of high performance parallel systems with SDL/MSCs | p. 15 |
| Designing and implementing complex systems with agents | p. 27 |
| Communications are everything: a design methodology for fault-tolerant concurrent systems | p. 39 |
| Designing distributed multimedia systems using PARSE | p. 50 |
| Hypersequential programming - a novel paradigm for concurrent programming | p. 62 |
| Efficient composition and automatic initialization of arbitrary structured PVM programs | p. 74 |
| Arcadia: a platform for the study of dynamic scheduling of communicating processes | p. 86 |
| Interactive testing tool for parallel programs | p. 98 |
| Cerberus - a tool for debugging distributed algorithms | p. 110 |
| Debugging parallel programs using temporal logic specifications | p. 122 |
| OPERA: a toolbox for loop parallelization | p. 134 |
| Program comprehension engines for automatic parallelization: a comparative study | p. 146 |
| Concurrent semantics for structured design methods | p. 158 |
| Towards a theory of shared data in distributed systems | p. 170 |
| Using concurrency and formal methods for the design of safe process control | p. 183 |
| Using data flow algebra to analyse the alternating bit protocol | p. 195 |
| A hierarchical classification of overheads in parallel programs | p. 208 |
| Periodicity in an asynchronous algorithm for parallel processing | p. 220 |
| Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation | p. 232 |
| Reverse profiling | p. 244 |
| SEMPA: software engineering methods for parallel scientific applications | p. 259 |
| EPOCA: status and prospects | p. 265 |
| The PARSE project | p. 271 |
| The AL++ Project: object-oriented parallel programming on multicomputers | p. 277 |
| The Basel Tool Suite for parallel processing | p. 283 |
| Development framework for real-time control system design | p. 291 |
| A knowledge based approach to parallel software engineering | p. 297 |
| Problem-solving on scalable parallel systems using application specification and reusable software components | p. 303 |
| The PS project: development of a simulator of PVM applications for heterogeneous and network computing | p. 310 |
| Supporting integrated modelling of parallel hybrid systems | p. 316 |
| Index of contributors | p. 323 |
| Keyword index | p. 324 |
| Table of Contents provided by Blackwell. All Rights Reserved. |