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 × Italy
Collaborated with:
M.Alberti M.Gavanelli E.Lamma P.Mello D.Daolio M.Montali F.Chesani
Talks about:
specif (2) verif (2) logic (2) protocol (1) interact (1) program (1) system (1) declar (1) agent (1) base (1)

Person: Paolo Torroni

DBLP DBLP: Torroni:Paolo

Contributed to:

ICLP 20082008
SAC 20042004

Wrote 2 papers:

ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification
Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.
SAC-2004-AlbertiDTGLM #interactive #protocol #specification #verification
Specification and verification of agent interaction protocols in a logic-based system (MA, DD, PT, MG, EL, PM), pp. 72–78.

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.