`Travelled to:`

1 × Cyprus

1 × Denmark

`Collaborated with:`

P.Inverardi ∅ F.Mancinelli A.J.Camilleri

`Talks about:`

process (2) heterogen (1) framework (1) interact (1) environ (1) algebra (1) specif (1) mechan (1) induct (1) higher (1)

## Person: Monica Nesi

### DBLP: Nesi:Monica

### Contributed to:

### Wrote 3 papers:

- SAC-2004-InverardiMN #adaptation #declarative #framework
- A declarative framework for adaptable applications in heterogeneous environments (PI, FM, MN), pp. 1177–1183.
- CAV-1991-Nesi #higher-order #induction #logic #process #proving #specification
- Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic (MN), pp. 288–298.
- CCPSD-1991-CamilleriIN #algebra #automation #interactive #process #verification
- Combining Interaction and Automation in Process Algebra Verification (AJC, PI, MN), pp. 283–296.