http://www.operationalsemantics.net/behaviouralwiki/ 2026-07-26T03:19:21+02:00 http://www.operationalsemantics.net/behaviouralwiki/ http://www.operationalsemantics.net/behaviouralwiki/lib/images/favicon.ico text/html 2014-02-21T11:04:47+02:00 simon http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=start&rev=1392977087&do=diff This wiki site is for internal discussion among BETTY members. The public BETTY web site, with up-to-date information about activities, is www.behavioural-types.eu. If you need to become an editor of this site, contact Simon Gay, António Ravara or Hans Hüttel. We need your full name and your e-mail address. text/html 2014-02-07T19:22:02+02:00 jorge http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=horizonideatwo&rev=1391797322&do=diff * Laura Bocchi * Ilaria Castellani * Romain Demangeon * Mariangiola Dezani * Cinzia Di Giusto * Luca Padovani * Jorge A. Pérez Modern computing infrastructures involve massive numbers of heterogeneous computing entities, which intensively communicate over open networks and have varying levels of trust. Cloud computing and social networks are typical examples of these infrastructures. In such a communication-centred setting, interactive behavior can be usefully structured as a prot… text/html 2014-01-27T19:02:18+02:00 ugo.deliguoro http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=horizonidea&rev=1390845738&do=diff Those that have expressed interest in this include researchers from at least the following institutions: * Aalborg University (Hans Hüttel) * University of Glasgow (Simon Gay) * University of Leicester (Emilio Tuosto) * University of Bologna (Mario Bravetti) * New University of Lisbon (António Ravaria) * University of Dortmund (Jakob Rehof) * University of Turin (Ugo de'Liguoro)