欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Apache Stratos：是一个高可扩展的PaaS框架。
架构
通信
可扩展架构
自动伸缩
负载均衡
配置
租户管理
IaaS供应商
