Concurrent and Mobile Languages (2008/2009)

Course partially running

Course code
4S00058
Name of lecturer
Massimo Merro
Number of ECTS credits allocated
5
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
3° Q dal Apr 20, 2009 al Jun 19, 2009.
Web page
http://profs.sci.univr.it/~merro/lcm.html

Lesson timetable

3° Q
Day Time Type Place Note
Monday 11:30 AM - 1:30 PM lesson Lecture Hall I  
Tuesday 9:30 AM - 12:30 PM lesson Lecture Hall I  

Learning outcomes

--

Syllabus

--

Reference books
Author Title Publisher Year ISBN Note
Robin Milner Communicating and Mobile Systems: the pi-calculus (Edizione 1) Cambridge University Press 1999 0521658691

Assessment methods and criteria

--