• Wykład 1: Wprowadzenie, przykłady
• Wykład 2: Składnia i semantyka CCS
• Wykład 3: Prawa równościowe
• Wykład 4: Silna bisymulacja
• Wykład 5: Słaba bisymulacja
  • przykład 1: Zarządca
• Wykład 6: Równoważność obserwacyjna
  • przykład 2: Alternating Bit Protocol
• Wykład 7: Nierozstrzygalność rownoważności procesów
• Wykład 8: Bisymulacja, logika i gry
• cdn ...

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.

• 15.04 Zakleszczenie w poczcie elektronicznej (M.Mlodzki)
• 22.04 MSMIE (L.Bieniasz-Krzywiec)
• 29.04 Algorytm odśmiecania Ben-Ari'ego (A.Hejmej)
• 6.05 Slow Scan (G.Maj)
• 13.05 Specyfikacja asynchronicznego routera (K.Jakubczyk)
• 20.05 Triple-Modular Redundancy (M.Wieczorek)
• 27.05 Cache Only Memory Architecture (R.Wieczorek)

• 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.

• Concurrency Workbench
  • Podręcznik do CWB
  • translator dla pełnego CCS
• VP
• CWB-UW
  • instrukcja

• CCS Visualizer (Bisimulation Game Game)
• Concurrency Workbench of the New Century
  • Podręcznik do CWB-NC
• IITD-CWB
  • Podręcznik do IITD-CWB
• Concurrency Factory

• Truth
• LOTOS
• BRICS Tools Home Page
• Concurrency tools at Oxford
• µCRL
• Metody formalne w WWW Virtual Library
• Systemy wspolbiezne tamze

sl małpa mimuw edu pl