Andrés Aristizábal

From MaRDI portal
Person:3000604

Available identifiers

zbMath Open aristizabal.andresMaRDI QIDQ3000604

List of research outcomes





PublicationDate of PublicationType
Reducing weak to strong bisimilarity in CCP2020-01-10Paper
Environmental bisimulations for delimited-control operators with dynamic prompt generation2017-10-17Paper
Environmental bisimulations for delimited-control operators with dynamic prompt generation2017-10-12Paper
Deriving labels and bisimilarity for concurrent constraint programming2011-05-19Paper

Research outcomes over time

This page was built for person: Andrés Aristizábal

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3000604&oldid=7834306"
Powered by MediaWiki