Includes supplementary material: sn.pub/extras
Mogens Nielsen
Computer Computer Networks Concurrent Systems Formal Methods Hardware Hardware Design ISDN Petri Nets Simulation Systems Design Systems Verification Unified Modeling Language (UML) Workflow Management calculus modeling