FM_SOA Apply formal methods in SOA, include but not limited languages and semantics of WS-BPEL, WSCDL, exception handling model.
5 users,
9 articles,
0 forum threads.
Lambda the Ultimate This is the CiteULike group for Lambda the Ultimate, the programming languages weblog.
24 users,
119 articles,
1 forum thread.