The use of formal methods in parallel operating systems

The authors report on the use of formal methods for the development of parallel operating systems for two experimental declarative systems over a five-year period. A common specification approach has evolved as part of the development of these two very different systems: one being for a parallel gra...

Full description

Bibliographic Details

Main Authors:	John A. Keane, Walter Hussak
Format:	Default Conference proceeding
Published:	1992
Subjects:	Other information and computing sciences not elsewhere classified untagged Information and Computing Sciences not elsewhere classified
Online Access:	https://hdl.handle.net/2134/4152
Tags:	Add Tag No Tags, Be the first to tag this record!