Static analysis of cloud elasticity - Garcia, Abel; Laneve, Cosimo; Lienhardt, Michael (Science of computer programming, 2017)
Keywords: Behavioural type system; Cloud computing; Computation and Language; Computer Science; Concurrent programming; Logic in Computer Science; Programming Languages; Resource consumption analysis; Subject reduction; Cloud computing; Behavioural type system; Subject reduction; Resource consumption analysis; Concurrent programming