Descripción: IST. Instituto Superior Técnico. Departamento de Matemática «Main interests:
Specification and verification of concurrent reactive systems; Temporal logic;
Situation calculus; Combination of logics.» CLC. The Center for Logic and Computation