Course Catalog 2009-2010 |
|||||
| Basic | Pori | International | Postgraduate | Open University | |
|
|
|
|||||||||||||||||
OHJ-2606 State Machines, 5 cr |
Antti Valmari
No implementations
State machines are found all over modern computer science. This course concentrates on the behaviour of state machines as seen by an external observer, and on interaction of state machines. The course is closely linked to recent research.
| Content | Core content | Complementary knowledge | Specialist knowledge |
| 1. | Definition of state machines. State machines with and without local variables. Strong bisimilarity. | ||
| 2. | Building systems from state machines: parallel composition, hiding, relational renaming, other operators. | ||
| 3. | Abstraction to the externally observable behaviour of state machines. |
| Type | Name | Author | ISBN | URL | Edition, availability, ... | Examination material | Language |
| Lecture slides | State Machines | Antti Valmari | English |
| Course | Mandatory/Advisable | Description |
| OHJ-2156 Analysis of Algorithms | Mandatory |
| Course | Corresponds course | Description |
|
|
|