I010 Communication and Parallelism

Faculty of Informatics
Autumn 1998
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
Key topics
  • 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
Further Comments
The course is taught annually.
The course is taught every week.
The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1997, Autumn 1999, Autumn 2000, Autumn 2001.
  • Enrolment Statistics (Autumn 1998, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn1998/I010