I041 Concurrency Theory

Faculty of Informatics
Spring 1999
Extent and Intensity
0/2. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Guaranteed by
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Prerequisites
I005 Formal Languages and Automata I && I006 Formal Languages and Automata II && I010 Communication and Parallelism && M006 Set Theory II && M009 Algebra II
Prerequisites: I010 Communication and Parallelism. I005 Formal Languages and Automata I, I006 Formal Languages and Automata II, M006 Set Theory, M009 Algebra II
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
  • This seminar is open to active participants only. Every participant is expected to study and give a talk on one or two journal/conference papers or subchapter of a book/monograph. These will be specified by a person in charge of running seminar. The number of participants is limited.
  • Models of processes, process specification: selected process calculi/algebras, operational semantics, (un)decidability of some sematic equivalencies.
  • Examples of process specification.
  • Selected sematic equivalencies for processes and their relationship
  • Boundaries of algorithmic verification - (un)decidability of some semantic equivalencies on some process subclasses.
Literature
  • BAETEN, J.C.M. and W.P. WEIJLAND. Process Algebra. Cambridge: Cambridge University Press, 1990, 248pp. Cambridge Tracts in Theoret.Computer Science. ISBN 0-521-40043-0. info
  • BURKART, Olaf. Automatic verification of sequential infinite-state processes. Berlin: Springer, 1997, 163 s. ISBN 3540639829. info
  • Články z časopisů a sborníků konferencí, dle specifikace vyučujícího
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 Spring 1996, Spring 1997, Spring 2002.
  • Enrolment Statistics (Spring 1999, recent)
  • Permalink: https://is.muni.cz/course/fi/spring1999/I041