Thema
Basis:
J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.): Handbook of Process Algebra
Elsevier 2001
Daten
verantwortlich : Karsten Schmidt
Termin: Dienstags, 13.00 - 15.00
Raum: IKA 1'305
Am 22.4. findet KEIN Seminar statt. Stattdessen sollen alle Teilnehmer in dieser Woche Themen und
den ersten Vortragstermin mit mir absprechen.
Themenvergabe
Ein Kapitel pro Teilnehmer (innerhalb dieses Kapitels kürzen wir in individueller Absprache).
Aus dem Kapitel sollen zwei Vorträge a 30 min (+15 min Diskussion) entstehen, die in
einigem Abstand zueinander zu halten sind. Auf Wunsch kann für den zweiten Vortrag auch ein
anderes Thema gewählt werden.
Themen
| Nr | Titel |
| 1 | The linear-branching time spectrum I. The semantics of concrete, sequential processes | vergeben |
| 2 | Trace-oriented models of concurrency | frei |
| 3 | Structural operational semantics | frei |
| 4 | Modal logics and mu-calculi - an introduction | vergeben |
| 5 | Process algebra with recursive operations | frei |
| 6 | Equivalence and preorder checking for finite-state-systems | vergeben |
| 7 | A symbolic approach to value-passing processes | frei |
| 8 | An introduction to the pi-calculus | vergeben |
| 9 | Verification on infinite structures | frei |
| 10 | Process algebra with timing: real time and discrete time | frei |
| 11 | Probabilistic extensions of process algebras | vergeben |
| 12 | Priority in process algebra | vergeben |
| 13 | Partial order process algebra (and its relation to Petri nets) | vergeben |
| 14 | A unified model for nets and process algebras | frei |
| 15 | Process algebras with localities | frei |
| 16 | Action refinement | vergeben |
| 17 | Algebraic process verification | frei |
| 18 | Discrete time process algebra and the semantics of SDL | vergeben |
| 19 | A process algebra for interworkings | vergeben |
|
Termine