Objective
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)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
1098 SJ Amsterdam
Netherlands
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.