Author: "Maffeis, Sergio" / Publisher: elsevier bv - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Maffeis, Sergio"' showing total 8 results

Start Over Author "Maffeis, Sergio" Publisher elsevier bv

8 results on '"Maffeis, Sergio"'

1. Abstract Domains for Type Juggling

Author: Arceri, Vincenzo, primary and Maffeis, Sergio, additional
Published: 2017
Full Text: View/download PDF

2. Behavioural equivalences for dynamic Web data

Author: Maffeis, Sergio, primary and Gardner, Philippa, additional
Published: 2008
Full Text: View/download PDF

3. Matching Systems for Concurrent Calculi

Author: Haagensen, Bjørn, primary, Maffeis, Sergio, additional, and Phillips, Iain, additional
Published: 2008
Full Text: View/download PDF

4. Process Calculi and Peer-to-peer Web Data Integration

Author: Maffeis, Sergio, primary
Published: 2006
Full Text: View/download PDF

5. Modelling dynamic web data

Author: Gardner, Philippa, primary and Maffeis, Sergio, additional
Published: 2005
Full Text: View/download PDF

6. Sequence Types for the π-calculus

Author: Maffeis, Sergio, primary
Published: 2005
Full Text: View/download PDF

7. On abstract interpretation of Mobile Ambients

Author: Levi, Francesca, primary and Maffeis, Sergio, additional
Published: 2004
Full Text: View/download PDF

8. On the Expressive Power of Polyadic Synchronisation in π-calculus

Author: Carbone, Marco, primary and Maffeis, Sergio, additional
Published: 2002
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results