RT @BenediktLoewe: @standefer https://t.co/w3jkpp1Dbw Urbaniak's paper in the LOGICA 2007 Yearbook: https://t.co/hZYrK5qRC9
1,389 followers
659 followers
@standefer https://t.co/w3jkpp1Dbw Urbaniak's paper in the LOGICA 2007 Yearbook: https://t.co/hZYrK5qRC9
11,579 followers
"their dynamic nature calls for suitable techniques for their automatic deployment. In this paper we address this problem and we propose Jolie Redeployment Optimiser, a tool for the automatic and optimised deployment of microservices" https://t.co/2CSYFPV
2,373 followers
Open Access UCL Research: Moessner's theorem: An exercise in coinductive reasoning in COQ https://t.co/Bvd8UQ88CJ