Linguaggi concorrenti e mobili (2002/2003)

Corso a esaurimento

Codice insegnamento
4S00058
Docente
Massimo Merro
crediti
5
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Periodo
dal 13-gen-2003 al 14-mar-2003.
Pagina Web
http://profs.sci.univr.it/~merro

Orario lezioni

Giorno Ora Tipo Luogo Note
martedì 14.30 - 16.30 lezione Aula A  
giovedì 8.30 - 10.30 lezione Aula L  
venerdì 12.30 - 13.30 lezione Aula L  
Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Robin Milner Communicating and Mobile Systems: the pi-calculus (Edizione 1) Cambridge University Press 1999 0521658691

Materiale didattico

Documenti