Process Algebra

Schedule

The schedule below is very tentative and will most likely be adapted during the course!

Week 1

[25-Apr-2017]
Topics: introduction, organisation, the algebra and equational theory of natural numbers, soundness, ground-completeness, completeness, mathematical representation of behaviour
Course material: 2.1-2.3 of the book
slides: [Introduction and motivation], [Algebra], [Mathematical representation of behaviour (1)]
Relevant exercises: 2.2.1, 2.2.2, 2.2.5, 2.2.6, 2.2.8, 2.3.1, 2.3.2, 2.3.5

Week 2

[02-May-2017]
Topics: mathematical representation of behaviour, minimal process theory (syntax, structural operational semantics, bisimilarity, congruence, algebra)
Course material: Sections 3.1 and 4.1-4.3 of the book
slides: [Mathematical representation of behaviour (2)],
Relevant exercises:
3.1.2, 3.1.3, 3.1.4, 3.1.5, 3.1.6, 3.1.8, 3.1.10
[4-May-2017]
Topics: minimal process theory: syntax, operational semantics, bisimilarity, congruence, algebra
Course material: Sections 4.1-4.3 of the book
slides: [Minimal Process Theory (1)]
Relevant exercises:
4.3.1, 4.3.2, 4.2.1, 4.2.2, 4.2.3, 4.3.5, 4.3.8, 4.3.7

Week 3

[09-May-2017]
Topics: minimal process theory: soundness and ground-completeness of its equational theory, extending minimal process theory with successful termination and sequential composition
Course material: Sections 4.3, 6.1-6.3 of the book
slides: [Minimal Process Theory (2)]
Relevant exercises: 4.4.1, 4.4.2, 4.4.3(a)-(d)
[11-May-2017]
Topics: theory of sequential processes, operational semantics in path format
Course material: Sections 4.4, 6.1-6.3 of the book
slides: [Basic Sequential Processes], [Theory of Sequential Processes]
Relevant exercises: 4.4.4, 4.4.5, 4.5.1, 4.5.2, 4.5.5, 4.5.6
6.2.1, 6.2.3, 6.2.6, 6.2.7, 6.2.8, 6.3.1, 6.3.2, 6.3.3

Week 4

[16-May-2017]
Topics: recursive specifications, operational semantics of recursive specification, solutions of recursive specifications, Recursive Specification Principle
Course material: Sections 5.1-5.4 of the book
slides: [Recursion (1)]
Relevant exercises: 5.2.1-5.2.3
[18-May-2017]
Topics: RDP, RSP
Course material: Sections 4.5 and 5.5 of the book
slides: [Recursion (2)]
Relevant exercises: 5.3.1-5.3.5, 5.5.1, 5.5.2, 5.5.7, 5.4.1-5.4.3, 5.5.3

Week 5

[23-May-2017]
Topics: BSP with recursion, term model, regularity, TSP with recursion
Course material: 5.8 of the book
slides: [Recursion (3)], [Expressiveness and Definability (1)]
Relevant exercises: 5.7.1, 6.6.6, 6.6.7, 6.6.8

Week 6

[30-May-2017]
Topics: stack, expressiveness, definability, parallel composition
Course material: Sections 5.6-5.8, 6.6 of the book
slides [Expressiveness and Definability (2)]
Relevant exercises: 5.6.2, 5.6.3, 5.8.1
[01-Jun-2017]
Topics: expressiveness, parallel composition
Course material: Sections 7.1-7.4, 6.7 of the book
slides: [Expressiveness and Definability (3)], [BCP (1)][Basic Communicating Processes (1)]
Relevant exercises: 7.4.2, 7.4.3

Week 7

[06-Jun-2017]
Topics: axioms of parallel composition, encapsulation, buffers, abstraction
Course material: Sections 7.4-7.6 and 8.1-8.5 of the book
slides: [Basic Communicating Processes (2)], [Abstraction]
Relevant exercises: 7.4.3, 7.4.8, 7.4.9, 7.5.1-7.5.5, 6.7.5, 6.7.6, 7.6.2, 7.6.6, 7.6.8, 8.2.1, 8.2.2, 8.2.4, 8.3.2, 8.3.3, 8.3.1, 8.4.1
[08-Jun-2016]
Topics: TCPtau, Alternating Bit Protocol
Course material: Sections 7.8, 8.6, 8.8, 8.9 of the book
slides: [TCP with silent steps]
Relevant exercises: 7.7.3, 7.7.4, 7.8.1, 8.6.1, 8.6.4, 8.8.1, 8.8.2

Week 8

[13-Jun-2017]
Topics: expressiveness and definability in BCP and TCP, projection, AIP, head normal forms, restricted AIP, validity of RSP
Course material: Sections 4.5, 6.4, 7.6-7.7 of the book
slides: [Validity of RSP], [Bags and Queues]
Relevant exercises: 5.5.4, 5.5.6, 5.5.8, 6.4.2, 6.6.1, 6.6.2, 7.6.5, 7.6.9
[15-Jun-2017]
Topics: Exercises

Week 9

[20-Jun-2017] No lecture
[22-Jun-2017]
Topics: Last opportunity to ask questions.
Discussion of (a selection of) problems from old examinations
Course material: No new course material.
Relevant exercises: Old examinations of [29-Jun-2015], [10-Aug-2015], [27-Jun-2016], [09-Aug-2016]