EduXchange.NL

Process algebra

2IMF10

Over deze cursus

The following topics will be addressed in every installment of the
course: semantic models of behaviour; sequential composition,
parallel composition, abstraction, recursion; structural operational
semantics; behavioural equivalence; congruence; equational process
theories; soundness and completeness of an equational theory with
respect to a semantic model of behaviour; elimination theorem;
fairness. In addition, every year one or two more advanced topics in
process algebra will be addressed (timing, probabilities, mobility, web
services, etc.).

There will be three homework assignments and a final examination. The homework assignments will be graded, and the average grade of the three assignments counts for 30% of your final grade. The final examination counts for 70% of your final grade, and for passing the course the grade for the final examination should be at least 5.0.

Leerresultaten

After completing this course, the student

  • is able to formally specify and reason about behaviour using process algebraic techniques;
  • can formalise the informal semantics of operations on behaviour using the method of structural operational semantics;
  • can differentiate between several notions of behavioural equivalence;
  • can construct semantic models of behaviour according to several different techniques;
  • can reason about the soundness and completeness of an equational theory of processes with respect to a semantic model of behaviour;
  • can read scientific literature in the area of process algebra.

Veronderstelde voorkennis

Familiarity with (formal) logical reasoning, naive set theory, and automata and formal languages is required.

Link naar meer informatie

Als er nog iets onduidelijk is, kijk even naar de FAQ van TU Eindhoven.

Aanbod

  • Startdatum

    22 april 2024

    • Einddatum
      23 juni 2024
    • Periode *
      Blok GS4
    • Locatie
      Eindhoven
    • Voertaal
      Engels
    Inschrijvingsperiode gesloten
  • Startdatum

    21 april 2025

    • Einddatum
      22 juni 2025
    • Periode *
      Blok GS4
    • Locatie
      Eindhoven
    • Voertaal
      Engels
    • Inschrijven tussen
      15 nov, 00:00 - 23 mrt 2025
    De inschrijving begint over 169 dagen
Dit aanbod is voor studenten van Utrecht University