FI:I010 Communication and Parallelism - Course Information
I010 Communication and Parallelism
Faculty of InformaticsAutumn 1995
- Extent and Intensity
- 0/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
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- 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
- Enrolment Statistics (Autumn 1995, recent)
- Permalink: https://is.muni.cz/course/fi/autumn1995/I010