33980 articles – 26807 Notices  [english version]
.:. Consultation > Par auteur > Aristizábal .:.
7 documents classés par :

fulltext access Reducing Weak to Strong Bisimilarity in CCP
Aristizábal A., Bonchi F., Pino L., Valencia F. D.
Dans Fifth Interaction and Concurrency Experience 104 (2012) 2-16 [hal-00761611 - version 1]
fulltext access Partition Refinement for Bisimilarity in CCP
Aristizábal A., Bonchi F., Pino L., Valencia F. D.
Dans 27th ACM Symposium On Applied Computing (2012) 6 pages [hal-00641408 - version 3]
Reducing Weak to Strong Bisimilarity in CCP.
Aristizábal A., Bonchi F., Pino L., Valencia F. D.
In Proceedings Fifth Interaction and Concurrency Experience 104 (2012) 2-16 [hal-00798067 - version 1]
Partition refinement for bisimilarity in CCP.
Aristizábal A., Bonchi F., Pino L., Valencia F. D.
In Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012 (2012) 88-93 [hal-00798065 - version 1]
Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Aristizábal A., Bonchi F., Palamidessi C., Pino L., Valencia F. D.
In Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr(ü)cken, Germany, March 26-April 3, 2011. Proceedings 6604 (2011) 138-152 [hal-00798069 - version 1]
fulltext access Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Aristizábal A., Bonchi F., Palamidessi C., Pino L., Valencia F. D.
Dans FOSSACS 6604 (2011) 138-152 [hal-00546722 - version 1]
fulltext access Bisimilarity in Concurrent Constraint Programming
Aristizábal A.
Dans 26th International Conference on Logic Programming, ICLP 2010 7 (2010) 236-240 [hal-00546857 - version 1]