BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nesi:Monica

Contributed to:

SAC 20042004
CAV 19911991
TAPSOFT, Vol.2: CCPSD 19911991

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.