A Translation from RSL to CSP

Abigail Parisaca Vargas, S. Lizeth Tapia Tarifa, Chris George. A Translation from RSL to CSP. In M. Cecilia Bastarrica, Mauricio Solar, editors, XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 10-14 November 2008, Punta Arenas, Chile. pages 119-126, IEEE Computer Society, 2008. [doi]


Abstract is missing.