Topologia nel modello di coordinazione TuCSoN

@mastersthesis{respecttopology,
    abstract = {I moderni sistemi distribuiti sono sistemi "situati", immersi nell'ambiente in cui vengono "deployed". I linguaggi per governare tali sistemi devono pertanto garantire la capacit\`{a} di rilevare l'ambiente, e di reagire ai cambiamenti. In particolare, devono essere linguaggi event-driven immersi nel continuum spazio-temporale. Questa tesi prende il linguaggio ReSpecT e lo estende verso un modello di "situatedness" spaziale, introducento una struttura topologica generale, ed estendendo il linguaggio e la sua sintassi per catturare eventi di tipo topologico. Oltre agli aspetti teorici e tecnologici, la tesi affronta anche casi di studio in scenari di tipo mobile e robotico.},
    author = {Zamagni, Enrico},
    available = {2009-04-15},
    contact = {Omicini, Andrea},
    cosupervisor = {Nardini, Elena and Casadei, Matteo},
    cycle = {L},
    description = {I moderni sistemi distribuiti sono sistemi "situati", immersi nell'ambiente in cui vengono "deployed". I linguaggi per governare tali sistemi devono pertanto garantire la capacit\`{a} di rilevare l'ambiente, e di reagire ai cambiamenti. In particolare, devono essere linguaggi event-driven immersi nel continuum spazio-temporale. Questa tesi prende il linguaggio ReSpecT e lo estende verso un modello di "situatedness" spaziale, introducento una struttura topologica generale, ed estendendo il linguaggio e la sua sintassi per catturare eventi di tipo topologico. Oltre agli aspetti teorici e tecnologici, la tesi potr\`{a} affrontare anche casi di studio in scenari di tipo mobile o robotico.},
    language = {it},
    month = jul,
    start = {2010-04-10},
    supervisor = {Omicini, Andrea},
    title = {Topologia nel modello di coordinazione TuCSoN},
    type = {Bachelor's thesis},
    year = 2010
}