, “$\tau$-angelic choice: An operator to reduce irrelevant internal activity in process algebra”, in Proceedings of the 24as Jornadas Argentinas de Informática e Investigación Operativa (24 JAIIO), Buenos Aires, Argentina, 1995, pp. 387-400.
paper-222.pdf (392.23 KB)
paper-222.pdf (392.23 KB), “τ-angelic choice for process algebras (Revised version).”. 1995. paper-225.pdf (266.1 KB)
paper-225.pdf (266.1 KB), “A comparative analisys of concurrency theories”, Depto. de Informática, Fac. de Cs. Exactas, Universidad Nacional de La Plata, 1994.
, “Congruence results for a family of unary operators”, in Proc. of SCCC XXI, Santiago de Chile, 1994.
, “The $n$-nested equivalences are not a congruence for the priority operator”, in Proc. of PANEL'94 - XX Conferencia Latinoamericana de Informática. México, 1994. paper-228.pdf (206.02 KB)
paper-228.pdf (206.02 KB), “Una comparación formal entre CCS y ACP”, in Proc. of PANEL'94 - XX Conferencia Latinoamericana de Informática. México, 1994. paper-229.pdf (258.24 KB)
paper-229.pdf (258.24 KB)