Abstract is missing.
- Infrastructural software for model driven distributed manufacturing systemsIan Coutts, Marcos Aguiar, John Edwards. 1-14
- Methodology and tools for the development of high performance parallel systems with SDL/MSCsAndreas Mitschele-Thiel. 15-26
- Designing and implementing complex systems with agentsPierre Marcenac, Sylvain Giroux, J. R. Grasso. 27-38
- Communications are everything: a design methodology for fault-tolerant concurrent systemsAndrew M. Tyrrell. 39-49
- Designing distributed multimedia systems using PARSEAnna Liu, Toong Shoon Chan, Ian Gorton. 50-61
- Hypersequential programming - a novel paradigm for concurrent programmingNaoshi Uchihira, Shinichi Honiden, Toshibumi Seki. 62-73
- Efficient composition and automatic initialization of arbitrary structured PVM programsJohn Yiannis Cotronis. 74-85
- Arcadia: a platform for the study of dynamic scheduling of communicating processesC. Bernon, Claude Bétourné, A. Sayah. 86-97
- Interactive testing tool for parallel programsHenryk Krawczyk, Bogdan Wiszniewski. 98-109
- Cerberus - a tool for debugging distributed algorithmsFred Carter, Alan David Fekete. 110-121
- Debugging parallel programs using temporal logic specificationsMaximilian Frey. 122-133
- OPERA: a toolbox for loop parallelizationVincent Loechner, Catherine Mongenet. 134-145
- Program comprehension engines for automatic parallelization: a comparative studyBeniamino Di Martino, Christoph W. Keßler. 146-157
- Concurrent semantics for structured design methodsPaddy Nixon, Lihua Shi. 158-169
- Towards a theory of shared data in distributed systemsSimon A. Dobson, Christopher P. Wadsworth. 170-182
- Using concurrency and formal methods for the design of safe process controlThierry Cattel. 183-194
- Using data flow algebra to analyse the alternating bit protocolAnthony J. Cowling, M. C. Nike. 195-207
- A hierarchical classification of overheads in parallel programsJ. Mark Bull. 208-219
- Periodicity in an asynchronous algorithm for parallel processingL. R. Fletcher, M. Santini. 220-231
- Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automationOliver Botti, Lorenzo Capra. 232-243
- Reverse profilingFred W. Howell. 244-255
- SEMPA: software engineering methods for parallel scientific applicationsPeter Luksch, Ursula Maier, Sabine Rathmayer, Matthias Weidmann. 259-264
- EPOCA: status and prospectsSusanna Donatelli, Nicola Mazzocca, Stefano Russo. 265-270
- The PARSE projectInnes Jelly, Ian Gorton. 271-276
- The AL++ Project: object-oriented parallel programming on multicomputersMichele Di Santo, Franco Frattolillo, Wilma Russo, Eugenio Zimeo. 277-282
- The Basel Tool Suite for parallel processingHelmar Burkhart, Niandong Fang, Robert Frank, Guido Hächler, Walter Kuhn, G. Prétôt. 283-288
- Development framework for real-time control system designJulian M. Bass, Adrian Browne, M. S. Hajji, Peter R. Croll, Peter J. Fleming. 291-296
- A knowledge based approach to parallel software engineeringPeter Milligan, Paul Sage, P. J. P. McMullan, Patrick H. Corr. 297-302
- Problem-solving on scalable parallel systems using application specification and reusable software componentsKarsten M. Dekker, Jiri J. Dvorak, René M. Rehmann. 303-309
- The PS project: development of a simulator of PVM applications for heterogeneous and network computingP. Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano. 310-315
- Supporting integrated modelling of parallel hybrid systemsCarl I. Birkinshaw, Peter R. Croll. 316-321