Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por Alexandra Silva

2016

A coalgebraic view on decorated traces

Autores
Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A;

Publicação
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Abstract
In the concurrency theory, various semantic equivalences on transition systems are based on traces decorated with some additional observations, generally referred to as decorated traces. Using the generalized powerset construction, recently introduced by a subset of the authors (Silva et al. 2010 FSTTCS. LIPIcs 8 272-283), we give a coalgebraic presentation of decorated trace semantics. The latter include ready, failure, (complete) trace, possible futures, ready trace and failure trace semantics for labelled transition systems, and ready, (maximal) failure and (maximal) trace semantics for generative probabilistic systems. This yields a uniform notion of minimal representatives for the various decorated trace equivalences, in terms of final Moore automata. As a consequence, proofs of decorated trace equivalence can be given by coinduction, using different types of (Moore-) bisimulation (up-to context).

2016

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira

Autores
Barbosa, LS; Cunha, A; Silva, A;

Publicação
J. Log. Algebr. Meth. Program.

Abstract

2014

Quantitative analysis of Reo-based service coordination

Autores
Oliveira, N; Silva, A; Barbosa, LS;

Publicação
Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014

Abstract

2013

A Coinductive Treatment of Infinitary Rewriting

Autores
Endrullis, Jorg; Hansen, HelleHvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra;

Publicação
CoRR

Abstract

2014

Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)

Autores
Goncharov, S; Milius, S; Silva, A;

Publicação
Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Abstract

2014

Towards a Coalgebraic Chomsky Hierarchy

Autores
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra;

Publicação
CoRR

Abstract

  • 1
  • 6