fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Concurrent Programming #60

Open fefrei opened 5 years ago

fefrei commented 5 years ago

Course code, if applicable: University hosting the course: Saarland University Contact person: Holger Hermanns, hermanns@cs.uni-saarland.de Concepts taught: Applied Formal Methods,Behavioural Equivalences,Distributed Systems,Labelled Transition Systems,Memory Models,Modelling,Process Algebra,Process Calculus Tools used: Java Resources: https://book.pseuco.com/ (interactive book) Webpage: https://depend.cs.uni-saarland.de/teaching/np/ Year/Level: 2

We also use pseuCo.com, but that isn't in the list of tools.

luigiapetre commented 2 years ago

I have added pseuCo.com in. tools and updated his webpage.

luigiapetre commented 2 years ago

Joao, I added another field called Resources, since there is now a nice interactive book on pseudo.com. Can we make it visible? Thanks :-)