Dr. M.M. Bonsangue

Update Persondata

• concurrent
• formal
• methods
• object
• oriented
• systems

Active as

Publications

(the most recent at the top)

Context-free Coalgebras

Automated Verification of Recursive Programs with Pointers

Interacting via the Heap in the Presence of Recursion.

A coalgebraic perspective on linear weighted automata.

Brzozowski's algorithm (co)algebraically.

All publications..

Current research

(the most recent research is at the top)
Project leader	CoRE: Coinductive Calculi of Regular Expressions

Completed research projects

(the most recent research is at the top)
Researcher	Processor sharing
Project leader	A semantic approach to component-based software
Project leader	Formal methods for coordination languages (SEN3.1)

Classification

D16300	Theoretical computer science