Course Catalog 2009-2010
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2009-2010

OHJ-2606 State Machines, 5 cr

Person responsible

Antti Valmari

Implementations

No implementations

Learning outcomes

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

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.     


Study material

Type Name Author ISBN URL Edition, availability, ... Examination material Language
Lecture slides   State Machines   Antti Valmari            English  


Prerequisites

Course Mandatory/Advisable Description
OHJ-2156 Analysis of Algorithms Mandatory    

Prerequisite relations (Requires logging in to POP)

Correspondence of content

Course Corresponds course  Description 
OHJ-2606 State Machines, 5 cr OHJ-2600 State Machines, 5 cr  

Last modified23.02.2009
ModifierAntti Valmari