Prototype Platforms for Distributed Agreements
暂无分享,去创建一个
[1] Qin Ma,et al. Compiling Pattern Matching in Join-Patterns , 2004, CONCUR.
[2] Sylvain Conchon,et al. Jocaml: mobile agents for Objective-Caml , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.
[3] Roberto Bruni,et al. Flat Committed Join in Join , 2004, Electron. Notes Theor. Comput. Sci..
[4] Roberto Bruni,et al. Orchestrating Transactions in Join Calculus , 2002, CONCUR.
[5] Cédric Fournet,et al. The reflexive CHAM and the join-calculus , 1996, POPL '96.
[6] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[7] Roberto Bruni,et al. Nested Commits for Mobile Calculi: Extending Join , 2004, IFIP TCS.
[8] Luca Cardelli,et al. Modern concurrency abstractions for C# , 2002, TOPL.