Forty-eight papers from the June 1995 workshop are presented in sessions on development environments; operating systems; scheduling; communications; modeling and validation; specification; development techniques; distributed scheduling; distributed systems; data base and knowledge based systems; and fault tolerance. There are also two open forum sessions. No index. Annotation copyright by Book News, Inc., Portland, OR. |