A Quantitative Type Approach to Formal Component-Based System Design.

Rui Chen, Ingo Sander

Browse the full FDL paper archive.