Formal models
•Why formal models?
–Unambiguous
–Deadlock free
–Livelock free
–Behavioural equivalence
•Petri Nets
•Process Algebras (The pi-calculus)
•Questions:
–Is one better than the other?
–Can we have more than one?
–Visibility and inclusion?
•