Research Interests |
| Communication and Concurrency:
extensions of lambda-calculus, pi-calculus, CHAM, LCEP.
|
| Petri Nets:
reconfigurable nets, self-modifying nets, mobile Petri nets.
|
| Mobile processes:
testing equivalences, causality, bisimulation.
|