Quantales, álgebras-C* e computação

Os quantales são estruturas algébricas ordenadas que visam generalizar o conceito de espaço topológico "sem pontos" da teoria dos locales de modo a abranger os espaços "não comutativos" que surgem no contexto das álgebras de operadores e na geometria não comutativa. Neste seminário far-se-à uma descrição de alguns aspectos algébricos e topológicos subjacentes ao estudo dos quantales e do modo como surgem numa área da computação conhecida por teoria da concorrência.