Concurrent and Mobile Languages (2008/2009)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

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
Location
VERONA
Period
3° Q dal Apr 20, 2009 al Jun 19, 2009.
Web page
http://profs.sci.univr.it/~merro/lcm.html
Course news Seminars related to the course

Lesson timetable

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

--

Share