195.099 Concurrency Theory
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2017W, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

tba

Inhalt der Lehrveranstaltung

Description:

Concurrent systems are commonplace. They cover a vast variety of systems ranging from mobile and reactive systems, security protocols, biological systems and multimedia interaction scenarios. This course introduces formal methods for reasoning about concurrent systems. We start by studying the typical problems related to processes that interact in a concurrent system (synchronization, atomicity, deadlock, etc). We present the most fundamental equivalence relation from concurrency theory (bisimulation) and its associated proof technique. Then, we introduce two of the most representative process calculi: the Calculus of Communicating Systems -CCS- and the Pi-Calculus. We also compare the expressiveness power of different fragments of process calculi. Finally, we shall see how (modal) logics can be used for the specification and verification of concurrent system.

Schedule:

Each session of 2h, starting form 08-jan-2018

S1(08/01) : Introduction: (concurrent vs sequential systems, shared variables, atomicity, etc).
S2(10/10) : Labelled transition systems (traces, bisimulation, weak bisimulation, etc)
S3(12/10) : CCS (syntax and semantics)
S4(15/10) : CCS (equivalences and expressiveness results)
S5(17/10) : Logics for processes (specification, verification, Hennessy–Milner logic).
S6(19/10) : The Pi-Calculus (syntax, semantics and theory)
S7(22/10) : The Pi-Calculus (equivalences)
S8(24/10) : The Pi-Calculus (subcalculi and expressiveness)
S9(26/10) : Linear logic: Processes as terms and processes as formulas
S10(29/10) : Declarative models of concurrency (CCP)

Weitere Informationen

This is a visiting professor course of the Vienna PhD School of Informatics.

It will be held by Carlos Olarte, Universidade Federal do Rio Grande do Norte (ECT-UFRN) / BR.





Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo10:00 - 12:0008.01.2018 - 22.01.2018Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Mi10:00 - 12:0010.01.2018 - 24.01.2018Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Fr10:00 - 12:0012.01.2018 - 19.01.2018Seminarraum FAV 01 B (Seminarraum 187/2) Concurrency Theory
Fr10:00 - 12:0026.01.2018Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Mo10:00 - 12:0029.01.2018Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Concurrency Theory - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo08.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Mi10.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Fr12.01.201810:00 - 12:00Seminarraum FAV 01 B (Seminarraum 187/2) Concurrency Theory
Mo15.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Mi17.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Fr19.01.201810:00 - 12:00Seminarraum FAV 01 B (Seminarraum 187/2) Concurrency Theory
Mo22.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Mi24.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Fr26.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory
Mo29.01.201810:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Concurrency Theory

LVA-Anmeldung

Von Bis Abmeldung bis
02.10.2017 08:00 09.01.2018 23:59

Anmeldemodalitäten:

Please register in TISS.

Curricula

StudienkennzahlSemesterAnm.Bed.Info
PhD Vienna PhD School of Informatics

Literatur

- D. Walker and D. Sangiorgi. The pi-calculis: A theory of mobile processes. Cambridge University Press, 2003.
- R. Milner. Communicating and Mobile Systems. Cambridge University Press, 1999.
- R. Milner. Communication and Concurrency. Prentice Hall, 1989

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch