Includes supplementary material: sn.pub/extras
Vijay A. Saraswat
Linux Middleware Monitor Networking XML formal methods logic operating system petri net program semantics programming theory proof theory server configuration software engineering systems security