| Manna 1.1-1.2 |
ppt |
| Manna 1.3-1.5 |
ppt |
| Manna 1.6-1.7 |
ppt |
| Manna 1.8-1.9 |
ppt |
| Manna 1.10 |
ppt |
| An introduction to formal methods |
ppt |
| Logic and Model checking |
ppt |
| Petri nets |
ppt |
| Process Algebra |
ppt |
| A good book on CCS |
pdf |
| Bisimulation |
ppt |
| Transition Systems |
pdf |
| Introduction to Process Algebra (Wan Fokkink) |
pdf |
| Introduction to process Theory (Reniers) |
pdf |
| Muade |
ppt |
|