SL - Teaching

Wykład monograficzny Wybrane zagadnienia teorii procesów współbieżnych

Termin:
- wykład: poniedziałki, 12:15, sala 3230
- ćwiczenia: poniedziałki, 14:00, sala 3230
- egzamin pisemny w poniedziałek 22.01.01, godz. 15:00, sala 3220
- UWAGA: POPRAWKOWY egzamin pisemny w czwartek 15.03.01, godz. 16:00, pokój 4330
Streszczenie
Plan wykładu:
- algebra procesów, język CCS
- bisymulacja, rówoważność obserwacyjna
- przykłady, omówienie CWB
- przykładowy język programowania
- logika, gry a bisymulacja
- porownanie z innymi algebrami procesów i innymi równoważnościami behawioralnymi
- rozszerzenia: TCCS, SCCS
Narzędzia
Literatura:
- R. Milner Communication and Concurrency, Prentice Hall, 1989.
- R. Milner Operational and Algebraic Semantics of Concurrent Processes, rozdział 19 w Handbook of Theoretical Computer Science, ed. J. van Leuveen, Elsevier Science Publishers 1990.
- R. Milner Calculi for Synchrony and Asynchrony, Theoretical Computer Science 25, 1983, strony 267-310.
- M. Hennessy Algebraic Theory of Processes, MIT Press, 1988.
- C.A.R. Hoare Communicating Sequential Processes, Prentice Hall, 1985.
- J.C.M. Baeten, W.P. Weijland Process Algebra, CUP, 1990.
- W. Fokkink Introduction to Process Algebra, Springer Verlag, 1999.
Interesujące strony:
- Metody formalne w WWW Virtual Library
- Systemy wspolbiezne tamze

sl malpa mimuw