Andres A. Aristizabal P.
Andres A. Aristizabal P.
Geverifieerd e-mailadres voor lix.polytechnique.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Deriving labels and bisimilarity for concurrent constraint programming
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
International Conference on Foundations of Software Science and …, 2011
332011
Partition refinement for bisimilarity in CCP
A Aristizabal, F Bonchi, FD Valencia, LF Pino
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 88-93, 2012
142012
Environmental bisimulations for delimited-control operators with dynamic prompt generation
A Aristizábal, D Biernacki, S Lenglet, P Polesiuk
arXiv preprint arXiv:1611.09626, 2016
132016
Reducing weak to strong bisimilarity in ccp
A Aristizábal, F Bonchi, L Pino, F Valencia
arXiv preprint arXiv:1212.3874, 2012
72012
Formally reasoning about security issues in p2p protocols: A case study
A Aristizabal, H Lopez, C Rueda, FD Valencia
Third Taiwanese-French Conference on Information Technology, 2005
52005
Bisimilarity in concurrent constraint programming
A Aristizabal
42010
Using Process Calculi to Model and Verify Security Properties in Real-Life Communication Protocols
AA Aristizábal, HA López
Trabajo de grado, Pontificia Universidad Javeriana, 2006
42006
Using a declarative process language for P2P protocols
A Aristizábal, HA López, C Rueda
The Association for Logic Programming Newsletter 18 (4), 2005
42005
Weak CCP bisimilarity with strong procedures
LF Pino, A Aristizabal, F Bonchi, F Valencia
Science of Computer Programming 100, 84-104, 2015
22015
Bisimulation techniques and algorithms for concurrent constraint programming
A Aristizábal
22012
Deriving labels and bisimilarity for concurrent constraint programming (extended version)
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
Technical report, INRIA-CNRS, 2011. Available at: http://www. lix …, 2011
22011
Process calculi for the verification of security properties of communication protocols for Peer-to-Peer systems
HA López, A Aristizábal, C Rueda, FD Valencia
Unpublished, January, 2006
22006
Process calculi to analyze emerging applications in concurrency
A Arbeláez, A Aristizábal, J Gutiérrez, HA López, JA Pérez, C Rueda, ...
Ensenanza 8 (1), 2000
22000
Technical Report NTCC Semantics based on Chu Spaces
AAAPC Rueda, FD Valencia
2009
USING PROCESS CALCULI TO MODEL AND VERIFY SECURITY PROPERTIES IN REAL LIFE COMMUNICATION PROTOCOLS–Thesis Summary
AA ARISTIZABAL, HA LOPEZ
2006
Modelamiento de Protocolos de Seguridad Temporal y Listas negras usando SPL
HA López, A Aristizábal, C Rueda, FD Valencia
2006
Using process calculi to model and verify security properties real life communication protocols
AAA Pinzón, HAL ACOSTA
Pontificia Universidad Javeriana. Cali, 2005
2005
Algoritmos y Estructuras de Datos
AA Aristizábal
BISIMILARITY IN CONCURRENT CONSTRAINT PROGRAMMING
AAP ANDRÉS
Technical Communications of the 26th International Conference on Logic …, 0
HAL Id: hal-00641408
A Aristizábal, F Bonchi, L Pino, FD Valencia
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20