欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
WS-Coordination Framework
来自开放百科 - 灰狐
Defining an open framework for supporting coordinated and transactional compositions of multiple Web services applications
WS-Coordination Framework specification and associated XML - http://www.oasis-open.org/committees/download.php/15042/WS-CF.zip
分享您的观点