MAT-74006 Concurrency Theory, 7 cr

Lisätiedot

The course is given every second year. The homepage of the course is https://www.cs.tut.fi/~ava/conctheory.html
Suitable for postgraduate studies. Ei toteuteta lukuvuonna 2016-2017.

Vastuuhenkilö

Antti Valmari

Opetus

Toteutuskerta Periodi Vastuuhenkilö Suoritusvaatimukset
MAT-74006 2016-01 - Antti Valmari
If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination.

Osaamistavoitteet

The student can read scientific literature on process algebras. (S)he knows one theory of reactive concurrent systems that supports full abstraction a.k.a. externally observable behaviour and has an idea of how other theories differ.

Sisältö

Sisältö Ydinsisältö Täydentävä tietämys Erityistietämys
1. Modelling systems as co-operating state machines (labelled transition systems) with variables.  Process-algebraic languages such as Lotos, CSP and CCS.   
2. Bisimulation and bisimilarity.  Algorithms for bisimilarity.   
3. Unfolding.     
4. Trace semantics and CFFD-semantics: equivalence and preorder.  Branching bisimilarity, observation equivalence, CSP-semantics.  Weakest congruence results. Non-existence results. 
5. Verification algorithms and techniques.  Computational complexity of verification.   

Oppimateriaali

Tyyppi Nimi Tekijä ISBN URL Lisätiedot Tenttimateriaali
Other literature   Composition and Abstraction   Antti Valmari         Yes   
Other literature   External Behaviour of Systems of State Machines with Variables   Antti Valmari         Yes   
Other literature   Scientific papers in the field         Will be delivered to the students.   No   

Esitietovaatimukset

Opintojakso P/S Selite
MAT-02650 Algoritmimatematiikka Mandatory    
MAT-71000 Tieto ja laskenta Advisable    
TIE-02100 Johdatus ohjelmointiin Mandatory    

Vastaavuudet

Opintojakso ei vastaan mitään toista opintojaksoa

Päivittäjä: Ikonen Suvi-Päivikki, 13.04.2016