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?
•