FI:I010 Communication and Parallelism

I010 Communication and Parallelism

Faculty of Informatics
Autumn 1996

Extent and Intensity

3/0. 3 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

prof. RNDr. Luboš Brim, CSc. (lecturer)

Guaranteed by

Contact Person: prof. RNDr. Luboš Brim, CSc.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

Syllabus

Introduction, modelling communication, examples of communicationg systems.
Language of CCS: synchronisation, actions and transitions, internal communication, semantics of CCS.
CCS with value passing and its translation into pure CCS.
Equational laws and their applications: classification of combinators, expansion theorem, dynamic and static laws.
Bisimulation and equivalence: Strong bisimulation, weak bisimulation, weak congruence, basic properties, solving equations, other equivalences.
Specification and Logic: modal and temporal logics, expressing properties, proving properties.
Real-time communicating systems: extensions of CCS, examples of real-time and time-critical systems.

Language of instruction

Czech