: Methodology and tools for the development of high performance parallel systems with SDL/MSCs.
Andrew M. Tyrrell
: Communications are everything: a design methodology for fault-tolerant concurrent systems.
John Yiannis Cotronis
: Efficient composition and automatic initialization of arbitrary structured PVM programs.
: Debugging parallel programs using temporal logic specifications.
: Using concurrency and formal methods for the design of safe process control.
J. Mark Bull
: A hierarchical classification of overheads in parallel programs.
, Lorenzo Capra
: Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation.