A formal approach to determining parallel resource bindings

The paper investigates the nature of the design process for parallel operating systems. It proposes a temporal logic-based formal methodology addressing the high-level design of such systems. In operating systems design, much use is made of the informal notion of resource bindings. A way of improvin...

Full description

Bibliographic Details

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