论文信息 - Flat Committed Join in Join - 字舞流文

Flat Committed Join in Join

Roberto Bruni | Ugo Montanari | Hernán C. Melgratti | R. Bruni | U. Montanari

[1] Roberto Bruni,et al. Nested Commits for Mobile Calculi: Extending Join , 2004, IFIP TCS.

[2] Laura Bocchi,et al. A Calculus for Long-Running Transactions , 2003, FMOODS.

[3] Peter Henderson,et al. Extending the concept of transaction compensation , 2002, IBM Syst. J..

[4] Roberto Bruni,et al. Orchestrating Transactions in Join Calculus , 2002, CONCUR.

[5] Roberto Bruni,et al. Transactions and Zero-Safe Nets , 2001, Unifying Petri Nets.

[6] Cédric Fournet,et al. The Join Calculus: A Language for Distributed Mobile Programming , 2000, APPSEM.

[7] Roberto Bruni,et al. Zero-Safe Nets: Comparing the Collective and Individual Token Approaches , 2000, Inf. Comput..

[8] Cosimo Laneve,et al. Bisimulations in the join-calculus , 1998, PROCOMET.

[9] Jean-Jacques Lévy,et al. A Calculus of Mobile Agents , 1996, CONCUR.

[10] Cédric Fournet,et al. The reflexive CHAM and the join-calculus , 1996, POPL '96.