欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
WS-Transaction Management
来自开放百科 - 灰狐
WS-Transaction Management (WS-TXM) defines a core infrastructure. service consisting of a Transaction Service for Web Services.
- A framework for implementing extended transaction models - http://www.arjuna.com/library/specs/ws_caf_1-0/WS-TXM.pdf
分享您的观点
