The schedule below is very tentative and will most likely be adapted during the course!
| [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 |
| [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 |
| [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 |
| [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 |
| [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 |
| [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 |
| [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 |
| [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 |
| [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] |