The following pages link to Stein Gjessing (Q1112587):
Displayed 5 items.
- Semantics and verification of monitors and systems of monitors and processes (Q1112588) (← links)
- (Q2777145) (← links)
- Monitors with associated processors (Q3048220) (← links)
- Monitors with arrays of condition variables and proof rules handling local quantities (Q3865461) (← links)
- Compile time preparations for run time scheduling in monitors (Q4155808) (← links)