Objetivo
The doctoral dissertation of the applicant proposes a general methodology, based on categorical constructions, aimed at providing a uniform algebraic semantics for "structured transition systems", i.e. transition systems where states and transitions can be equipped with some algebraic structure. Such methodology lacks however of mechanisms for the definitions of observation functions on states, and of the corresponding notions of bisimulations. On the contrary, by regarding transition systems as co-algebras (instead of as graphs) interesting co-algebraic and finality techniques have been developed at CWI, that easily allow to deal with observational mechanisms.
The proposed research will aim at generalizing and enriching the methodology proposed in my thesis with the use of the co-algebraic and finality techniques developed at CWI, and other related techniques. In this way, techniques for analysis and verification of structured transition systems, in particular bisimulation techniques would be included. Other results may include the definition of observation mechanisms (and corresponding bisimulation notions) for formalisms like Petri nets, Logic Programming, and Term Rewriting Systems; also, some notions of infinite computations for such systems could be defined.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
1098 SJ Amsterdam
Países Bajos
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.