I010 Communication and Parallelism

Faculty of Informatics
Autumn 2000
Extent and Intensity
3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Luboš Brim, CSc. (lecturer)
Guaranteed by
prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
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
Syllabus
  • Introduction, overview of models for concurrent systems. Modelling communication, examples of communicating 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, finite state processes.
  • Petri nets. Properties and classes of Petri nets, nets in systems modelling, condition/event systems.
  • Analysis of Place/Transition nets, S-invariants, T-invariants. Decision properties for some net properties.
Literature
  • DESEL, Jörg and Javier ESPARZA. Free choice petri nets. 1st ed. Cambridge: Cambridge University Press, 1995, viii, 244. ISBN 0521465192. info
  • MILNER, Robin. Communication and concurrency. New York: Prentice Hall, 1989, 260 s. ISBN 0-13-115007-3. info
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is taught: every week.
Teacher's information
http://www.fi.muni.cz/usr/brim/I010
The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1997, Autumn 1998, Autumn 1999, Autumn 2001.
  • Enrolment Statistics (Autumn 2000, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2000/I010