recognition algorithm / language prototyping tools / type systems / semantic web service compositions / possible applications / search space / fault tolerant protocol / tableau systems / proof search space / /
Person
Guido Fiorino (Bicocca) / Alessandro Avellone (Bicocca) / Marco Gaboardi (Bologna) / Loris Bozzato (Insubria) / Francesco Alberti / Silvio Ghilardi / Camillo Fiorentini / Ben Kavanaugh / /