Messages

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.

I have added the paper to the handouts folder. (This is only for PhD students taking ...

The lecture tomorrow is cancelled as I am sick and coughing a lot. Really sorry! Please remember to prepare questions for the repetition lecture and send me by email.

Eksamensform: Det blir muntlig eksamen i ?r.

Dato: 8-10. desember (dere f?r et presist eksamenstidspunkt n?r vi vet n?yaktig hvor mange som melder seg opp til eksamen)

Lizeth is feeling sick and has to cancel the lecture today. We continue next week.

If you are curious about tools for program analysis which have similarities to the program logic used in the course, please have a look to the KeY tool.

https://www.key-project.org/

...

Hi Everyone,

As mentioned during the last lecture, we will not have group sessions this week. I have uploaded exercises please refer to lecture slides and handout material and try to solve exercises. We shall have a discussion and try to solve it together next Friday (03/09).For any further clarifications please feel free to contact

Chinmayi

Course Book: Foundations of Multithreaded, Parallel, and Distributed Programming. Gregory R Andrews. Addison-Wesley.

Additionally: all material from the lectures (plenary and groups)