Loading…
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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Default Conference proceeding |
| Published: |
1994
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/4154 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|