Registro:

Referencias:

• Hirsch, D., Inverardi, P., Montanari, U., Reconfiguration of software architecture styles with name mobility (2000) LNCS, 1906, pp. 148-163. , Porto, A, Roman, G.-C, eds, COORDINATION 2000, Springer, Heidelberg
• Hirsch, D., (2003) Graph transformation models for software architecture styles, , PhD thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, U.B.A
• Lanese, I., Montanari, U.: Hoare vs Milner: Comparing synchronizations in a graphical framework with mobility. In: Proc. of GT-VC 2005. Elect.Notes in Th.Comput.Sci., 154(2), pp. 55-72. Elsevier Science, Amsterdam (2005); Parrow, J., Victor, B., The fusion calculus: Expressiveness and symmetry in mobile processes (1998) Proc. of LICS, , IEEE Computer Society Press, Los Alamitos
• Milner, R., Parrow, J., Walker, D., A calculus of mobile processes (1992) Inform.and Comput, 100, pp. 1-77
• Lanese, I., Montanari, U., A graphical fusion calculus (2004) Proc. of the Workshop of the COMETA Project. Elect.Notes in Th.Comput.Sci, 104, pp. 199-215. , Elsevier Science, Amsterdam
• Bruni, R., Montanari, U., Zero-safe nets: Comparing the collective and individual token approaches (2000) Inform.and Comput, 156 (1-2), pp. 46-89
• Lanese, I., Melgratti, H., Synchronous multiparty synchronizations and transactions, , http://cs.unibo.it/~lanese/work/ugo65-TR.pdf
• Victor, B., (1998) The fusion calculus: Expressiveness and symmetry in mobile processes, , PhD thesis, Dept.of Computer Systems, Uppsala University, Sweden
• Castellani, I., Montanari, U., Graph grammars for distributed systems (1983) LNCS, 153, pp. 20-38. , Ehrig, H, Nagl, M, Rozenberg, G, eds, Graph Grammars 1982, Springer, Heidelberg
• Hirsch, D., Montanari, U., Synchronized hyperedge replacement with name mobility (2001) LNCS, 2154, pp. 121-136. , Larsen, K.G, Nielsen, M, eds, CONCUR 2001, Springer, Heidelberg
• Ferrari, G., Montanari, U., Tuosto, E., A LTS semantics of ambients via graph synchronization with mobility (2001) LNCS, 2202, pp. 1-16. , Restivo, A, Ronchi Della Rocca, S, Roversi, L, eds, ICTCS 2001, Springer, Heidelberg
• Lanese, I., Montanari, U., Synchronization algebras with mobility for graph transformations (2004) Proc. of FGUC 2004. Elect.Notes in Th.Comput.Sci, 138, pp. 43-60. , Elsevier, Amsterdam
• Lanese, I., (2006) Synchronization strategies for global computing models, , PhD thesis, Computer Science Department, University of Pisa, Pisa, Italy
• Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proc. of POPL 1996, pp. 372-385. ACM Press, New York (1996); Bocchi, L., Wischik, L., A process calculus of atomic commit (2004) Proc. of WS-FM 2004. Elect.Notes in Th.Comput.Sci, 105, pp. 119-132. , Elsevier, Amsterdam
• Bruni, R., Montanari, U.: Concurrent models for linda with transactions. Math.Struct.in Comput.Sci. 14(3), 421-468 (2004); Gorrieri, R., Marchetti, S., Montanari, U., A2CCS: Atomic actions for CCS (1990) Theoret.Comput.Sci, 72 (2-3), pp. 203-223
• Bruni, R., Melgratti, H., Montanari, U., Nested commits for mobile calculi: Extending Join (2004) Proc. of IFIP-TCS, pp. 569-582. , Kluwer Academic, Dordrecht
• Bocchi, L., Laneve, C., Zavattaro, G., A calculus for long-running transactions (2003) LNCS, 2884, pp. 124-138. , Najm, E, Nestmann, U, Stevens, P, eds, FMOODS 2003, Springer, Heidelberg
• Laneve, C., Zavattaro, G., Foundations of web transactions (2005) LNCS, 3441, pp. 282-298. , Sassone, V, ed, FOSSACS 2005, Springer, Heidelberg

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------