Items where Author is "Bartoletti, Massimo"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 6.

Departmental Technical Report

Bartoletti, Massimo and Zunino, Roberto (2010) Static Enforcement of Service Deadlines. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Logic for Contracts. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Logic for Contracts. UNSPECIFIED. (Unpublished)

Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gian Luigi and Zunino, Roberto (2009) ν-types for effects and freshness analysis. UNSPECIFIED.

This list was generated on Tue Jul 23 01:01:21 2024 CEST.