SS 2016: Modellierung nebenläufiger Systeme

Lecturer and Tutor:
Harsh Beohar (E-Mail)

Technical Content

The following topics are expected to be covered during this course:

  • Transitions system
  • Behavioural equivalences: Trace equivalence, Failure equivalence, Bisimulation equivalence
  • Closure properties of bisimulation relations and Hennessy-Milner Logic
  • Process algebra - TCP, (CCS and CSP)
  • Probabilistic process algebra
  • Timed automata
  • Graph transformation systems

Hinweise

Diese Vorlesung kann von Studierenden verschiedener Studiengänge gehört werden. Insbesondere handelt es sich dabei um:

  • Studierende im Duisburger Master-Studiengang "Angewandte Informatik (Ingenieur- und Medieninformatik)"

  • Studierende im Master-Studiengang "International Studies in Engineering" (Computer Engineering)

  • Studierende mit Nebenfach Informatik

Literature

  • J.C.M. Baeten, T. Basten, M.A. Reniers: Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press, 2010.
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, 2007.
  • Grzegorz Rozenberg: Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations, World Scientific, 1997.
  • R. Milner: Communication and Concurrency. Prentice Hall, 1989.
  • C.A.R. Hoare: Communicating sequential processes. 2004. http://www.usingcsp.com/cspbook.pdf

Electronic Literature:

Tools

The following tool demo will be given in the lecture (not part of the syllabus):

Schedule

Lectures

  • Mo, 10:15–11:45, LE 120
  • Do, 12:15-13:45, LE 120

Exercises

  • Thursday, 21/04, 12:00-14:00, in Room LE 120.
  • Monday, 09/05, 10:00-12:00, in Room LE 120.
  • Monday, 30/05, 10:00-12:00, in Room LE 120.
  • Monday, 13/06, 10:00-12:00, in Room LE 120.
  • Thursday, 30/06, 10:00-12:00, in Room LE 120.
  • Monday, 18/07,  10:00-12:00, in Room LE 120.

Examination

The oral examinations in the summer semester will be held on 9th and 10th August, 2016. Please enroll yourself at the Secretariat in the room LF 227.

Aktuelles

Keine Artikel in dieser Ansicht.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin