1. Process Algebra (2IF45) Assignments Dr. Suzana Andova

2. 1 Groups (almost final) Process Algebra (2IF45) Group 1. Stijn Fleuren, Jori Selen, John van Heur, Jordi Timmermans Group 2. Nicky Gerritsen 0595838, Kevin van der Pol 0620300, Group 3. Group4. Luis Avila 0754588 Pablo Puente 0761739 Group 5. Oerlemans, G.G. 0607213, Panhuijzen, I.W.F. 0570999, Poppelaars, J.J.G. 0518740 Joost van Twist J. 0617198 Group 6. Johan Hendriks, 0588920 Bas van der Oest, 0588728 Roy van Doormaal, 0668932 Peter Klerks, 0593253 Group 7. Tal Yosefa Milea (0757073), Sjoerd te Pas (0663210), Twan Vermeulen (0732529), Ahmed Ibrahim (0718605) NOTE: Not all groups and students are listed here

3. 2 Details regarding the assignments Process Algebra (2IF45) 1. Assignments are not compulsory. You may chose to do the assignments, thus making it part of your final grade. Or you could chose to go only to the written exam. Advantages to do the assignments are: a part of the written exams will be covered by the assignments. you will get deeper insight in the material you will prepare for the (your “relaxed”) written part of the exam as a side (positive) effect it may be that the assignments will be more extensive questions than those given at the exam, but you can work in a team and discuss it and learn more. Also you will have more time to think about a solution. possibility to earn bonus points 2. The final grade will be calculated 40% from the assignment grade + 60% from the written exam. 3. The assignment will consists out of 3 smaller assignments, 1 st related to SOS and axioms, 2 nd process specification, and 3 rd probabilistic/stochastic specification

4. 3 Details regarding the assignments Process Algebra (2IF45) 4. Way of working: Students within a group have to organize the work themselves. Each student has to be actively involved, from the beginning till the end. 5. Finalization of an assignment's part: For each assignment a strict deadline will be defined. A group delivers the solution, which they later defend. Defense will include all students from the group. 6. Assignments schedule: 1 st : March 2 nd April 3 rd May They are obtained the first week of the corresponding month, to be delivered at the end of the month. 7. Assessment: The assignment grade will be based on: the quality of the delivered solution, the defense and peer-to-peer assessment of team members. Thus each student gets own grade.

5. 4 Details regarding the assignments Process Algebra (2IF45) 8. Questions?