italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

«      1   |   2   

1992

P. Inverardi and M. Nesi. On Rewriting Behavioural Semantics in Process Algebras, AMAST'91, Workshops in Computing Series

1991

R. De Nicola, P. Inverardi and M. Nesi. Equational Reasoning about LOTOS Specifications: A Rewriting Approach, 6th International Workshop on Software Specification and Design, pagg. 148-155

P. Inverardi and M. Nesi. Infinite Normal Forms for Non-linear Term Rewriting Systems, MFCS'91, Lecture Notes in Computer Science, pagg. 231-239

A. Camilleri, P. Inverardi and M. Nesi. Combining Interaction and Automation in Process Algebra Verification, TAPSOFT'91, Lecture Notes in Computer Science, pagg. 283-296

1990

P. Inverardi and M. Nesi. A Rewriting Strategy to Verify Observational Congruence, Information Processing Letters (35):, pagg. 191-199

R. De Nicola, P. Inverardi and M. Nesi. Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications, Workshop on Automatic Verification Methods for Finite State Systems 1989, Lecture Notes in Computer Science, pagg. 54-67

1988

S. Gnesi, P. Inverardi and M. Nesi. A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences, Concurrency'88, Lecture Notes in Computer Science, pagg. 181-196

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›