FI:IV010 Communication and Parallelism - Course Information
IV010 Communication and ParallelismFaculty of Informatics
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).
- prof. RNDr. Luboš Brim, CSc. (lecturer)
- Guaranteed by
- prof. RNDr. Luboš Brim, CSc.
Department of Computer Science - Faculty of Informatics
Contact Person: prof. RNDr. Luboš Brim, CSc.
Supplier department: Department of Computer Science - Faculty of Informatics
- Mon 17. 2. to Fri 15. 5. Wed 10:00–11:50 B411
- 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
- there are 81 fields of study the course is directly associated with, display
- Course objectives
- The goal is to acquire basic skills that are used for formal specification and analysis of communicating systems, including the theoretical background.
By the end of the course the students should be able: to develop simple specifications and implementations of communicating systems in CCS, to check formally their equivalence and to understand various kinds of process equivalences and their limitations.
- Learning outcomes
- By the end of the course the students should be able: to develop simple specifications and implementations of communicating systems in CCS, to check formally their equivalence and to understand various kinds of process equivalences and their limitations.
- Introduction, overview of models for concurrent systems. Modelling communication, examples of communicating systems.
- Language of CCS: synchronization, 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, finite state processes.
- Temporal properties of processes.
- Teaching methods
- lectures, homeworks
- Assessment methods
- Final exam is written. In the case homeworks are assigned, these are counted by maximum of 30% to the final mark. No study materials are allowed during the final examination.
- Language of instruction
- Follow-Up Courses
- Further Comments
- The course is taught annually.
- Teacher's information
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/spring2020/IV010