Filters: Author is Pedro R. D'Argenio [Clear All Filters]
“τ-angelic choice for process algebras (Revised version).”. 1995. 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)
, “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)
,