A high-performance operating system for structured concurrent programs.
Luc BläserPublished in: PLOS@SOSP (2007)
Keyphrases
- operating system
- concurrent programs
- computer systems
- virtual machine
- concurrent programming
- process algebra
- microsoft windows
- distributed systems
- concurrent processes
- windows xp
- web applications
- memory management
- operating environment
- formal specification
- concurrent systems
- virtual memory
- databases
- fine grained
- general purpose
- object oriented
- case study