European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-06-11

Categorical techniques for the abstract semantics of structured transition systems

Cel



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.

Zaproszenie do składania wniosków

Data not available

Koordynator

Stichting Mathematisch Centrum
Wkład UE
Brak danych
Adres
413,Kruislaan 413
1098 SJ Amsterdam
Niderlandy

Zobacz na mapie

Koszt całkowity
Brak danych

Uczestnicy (1)