Kursplan för kalenderåret 2004
KOMMUNICERANDE PROCESSEREDA160
Communicating Processes

Antal poäng: 4. Betygskala: TH. Valfri för: D3, E4, F4. Kursansvarig: Univ.lektor Lennart Andersson, Lennart.Andersson@cs.lth.se, Inst f datavetenskap. Förkunskapskrav: EDA040 Realtidsprogrammering. Matematik 16 poäng. Prestationsbedömning: Skriftlig tentamen och inlämningsuppgifter. På inlämningsuppgiften ges ej graderat betyg. Studenterna förväntas presentera lösningar till förelagda problem vid seminarier. Detta tillgodoräknas vid första ordinarie tentamenstillfälle. Övrigt: Kursen kan komma att ges på engelska. Kursen kommer att periodiseras. Den ges våren 04 och därefter planeras den inte ges förrän våren 06. Kursen kan komma att ställas in vid mindre än 15 anmälda deltagare. Hemsida: http://www.cs.lth.se.

Mål
Kursen skall ge förmåga att formellt beskriva och analysera kommunicerande och jämlöpande processer.

Innehåll
1. CCS, Calculus of Communicating Systems.

2. Petrinät.

3. Andra formalismer, temporallogik, händelsestrukturer.

Litteratur
Andersson, L.: Lecture notes.