FScaFi : A Core Calculus for Collective Adaptive Systems Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani. FScaFi : A Core Calculus for Collective Adaptive Systems Programming. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Volume 12477 of Lecture Notes in Computer Science, pages 344-360, Springer, 2020. [doi]

This author has not been identified. Look up 'Roberto Casadei' in GoogleThis author has not been identified. Look up 'Mirko Viroli' in GoogleThis author has not been identified. Look up 'Giorgio Audrito' in GoogleThis author has not been identified. Look up 'Ferruccio Damiani' in Google

runs on WebDSL