Proof and Evaluation of a 1CS Middleware Data Replication Protocol Based on O2PL.

Jos Enrique Armendriz-Iigo, Francesc D. Muoz-Esco, Jos Ramn Garitagoitia, J. R. Jurez-Rodrguez, Jos Ramn Gonzlez de Mendvil

Browse the full ISPA paper archive.