Wykład monograficzny
Wybrane zagadnienia teorii procesów współbieżnych
semestr letni 2005/2006
Sławomir Lasota
( ta strona nie jest jeszcze gotowa ale tym niemniej warto na nią zajrzeć :)
Opis wykładu
Notatki do wykładu uaktualnione 15.05.2006:
Uwagi:
Notatki do wykładów 1-6 i 8 zostały(ną) w znacznym stopniu oparte na rozdziałach 1-10 książki:
R. Milner Communication and Concurrency.
Prezentacje projektów:
Propozycje projektów
Egzaminy z zeszłych lat
Literatura podstawowa:
- CCS i logiki temporalne:
- R. Milner Communication and Concurrency, Prentice Hall, 1995.
- G. Bruns Distributed Systems Analysis with CCS, Prentice Hall, 1997.
- Stirling, C. Modal and Temporal Properties of Processes, Springer-Verlag, 2001.
- Rozszerzenia CCS: TCCS, SCCS
- Moller, F., Tofts, C. A Temporal Calculus of Communicating Systems,
Proc. CONCUR'90, LNCS 458, strony 401-415, 1990.
- Moller, F., Tofts, C. Relating Proceses with Respect to Speed,
Proc. CONCUR'91, LNCS 527, 1991.
- R. Milner Calculi for Synchrony and Asynchrony,
Theoretical Computer Science 25, 1983, strony 267-310.
Literatura uzupełniająca:
- Bergstra, J., Ponse, A., Smolka, S., ed.
Handbook of Process Algebra,
Elsevier, 2001,
rozdział 1,
rozdział 4,
rozdział 6,
rozdział 9.
- 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.
- Inne podejścia niż CCS:
- W. Fokkink Introduction to Process Algebra, Springer Verlag, 1999.
- M. Hennessy Algebraic Theory of Processes, MIT Press, 1988.
- A. W. Roscoe The Theory and Practice of Concurrency, Prentice Hall, 1998.
- C.A.R. Hoare Communicating Sequential Processes, Prentice Hall, 1985.
- J.C.M. Baeten, W.P. Weijland Process Algebra, CUP, 1990.
- Zastosowania do specyfikacji i weryfikacji systemów współbieżnych:
- J.C.M. Beaten, ed. Applications of Process Algebra, CUP, 1990.
- S. Mauw, G.J. Veltink Algebraic Specification of Communication Protocols, CUP 1993.
Narzędzia
Interesujące strony:
sl (at) mimuw edu pl