I processi cooperativi prevedono l’esecuzione di attivit`a da parte di entit`a differenti allo scopo di perseguire un obiettivo comune. Considerando il contesto dei distretti pr...
Enzo Colombo, Valeria De Antonellis, Fabio De Rosa...
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...