Author:
Bruni Roberto,Laneve Cosimo,Montanari Ugo
Publisher
Springer Berlin Heidelberg
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. cJoin: Join with communicating transactions;Mathematical Structures in Computer Science;2014-11-10
2. Issues about the Adoption of Formal Methods for Dependable Composition of Web Services;International Journal of Systems and Service-Oriented Engineering;2014-10
3. Liveness of Communicating Transactions (Extended Abstract);Programming Languages and Systems;2010
4. A pi-calculus based semantics for WS-BPEL;The Journal of Logic and Algebraic Programming;2007-01
5. Process Calculi and Peer-to-peer Web Data Integration;Electronic Notes in Theoretical Computer Science;2006-09