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:
2004
1991
1991Wrote 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.