Checking process-oriented operating system behaviour using CSP and refinement.
Frederick R. M. BarnesCarl G. RitsonPublished in: PLOS@SOSP (2009)
Keyphrases
- operating system
- process oriented
- constraint satisfaction problems
- computer supported
- computer systems
- virtual machine
- microsoft windows
- windows xp
- goal oriented
- collaborative learning
- multi tasking
- linux kernel
- application level
- content analysis
- computer supported collaborative learning
- memory management
- command line
- virtual memory
- distributed systems
- relational databases
- multimedia
- database