Calcolo Distribuito e Coordinazione
Laurea Specialistica in Informatica
anno accademico: 2004-2005 Seminari 2004 -- Prof Jos Baeten:
crediti: 12 12
ottobre
Process Theory
presentazione
corso (pdf) 13
ottobre Timed Process Algenras, Part1
18 ottobre Timed Process Algenras, Part2
19 ottobre Probabilities in Concurrency
27 ottobre Non Deterministic Regular Expression
Inizio Lezioni
11
Ottobre presso il POLO INFORMATICO
(aula AB3)
orario lezione:
martedì, mercoledì e giovedì 15:00 -
17:00
orario
laboratorio:
lunedì 10:00 - 13:00
orario di ricevimento: lunedì 17:00 - 19:00 (2° piano, stanza no.9, Polo Informatico)
libri di testo:
- Andrew Tanenbaum, Distributed Systems, Prentice Hall, 2002
- M.L. Liu, Distributed Computing, Person Addison Wesley, 2004
- Articoli indicati di dal docente durante le
lezioni
Seminari
18 ottobre Agent Oriented Software Engineering -- Marco Vita
18 ottobre Ontologie e Protegé -- Cristina Lancioni
19 ottobre J. Baeten seminar
20 ottobre KLAIM1 -- Eleonora Berluti
20 ottobre KLAIM2 -- Stefano Leli
21 ottobre KLAIM3 -- Diego Bonura,
25 ottobre Metodologia PASSI -- Eleonora Paganelli
25 ottobre Metodologia PASSI -- Dario Santarelli
26 ottobre Middleware -- Chiara Ercoli
26 ottobre JADE -- Barbara Re
27 ottobre J. Baeten seminar
28 ottobre Hermes -- Leonardo Vito
Progetti:
OpenEHR
Cell-MAS
SICOM
BioLIMS
Trade Agents
Virtual Enterprise for building steel cables
