Exercises

  1. Specify set of printers using Z, show some properties are safe
  2. Specify print spooler in LOTOS, CSP or CCS and show it doesn't deadlock, and always is printing one job etc