Objectif 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. Programme(s) FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998 Thème(s) 0302 - Post-doctoral research training grants TM26 - Logic and Semantics Appel à propositions Data not available Régime de financement RGI - Research grants (individual fellowships) Coordinateur Stichting Mathematisch Centrum Adresse 413,kruislaan 413 1098 SJ Amsterdam Pays-Bas Voir sur la carte Contribution de l’UE Aucune donnée Participants (1) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire Not available Italie Contribution de l’UE € 0,00 Adresse Voir sur la carte Autres sources de financement Aucune donnée
