FI:I041 Teorie a specifikace procesů - Course Information

I041 Teorie a specifikace procesů

Extent and Intensity

0/2. 2 credit(s). Recommended Type of Completion: k (colloquium). Other types of completion: zk (examination), 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

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

• 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

• 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.

Language of instruction

Czech

• Enrolment Statistics (Spring 1997, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring1997/I041