Publications

Publications by Alexandra Silva

2014

How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure

Authors
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio;

Publication
CoRR

Abstract

2013

Automatic Equivalence Proofs for Non-deterministic Coalgebras

Authors
Bonsangue, MarcelloM.; Caltais, Georgiana; Goriac, EugenIoan; Lucanu, Dorel; Rutten, JanJ.M.M.; Silva, Alexandra;

Publication
CoRR

Abstract

2013

Report on CALCO 2013

Authors
Silva, A; Sobocinski, P;

Publication
Bulletin of the EATCS

Abstract

2014

How to kill epsilons with a dagger: A coalgebraic take on systems with algebraic label structure

Authors
Bonchi, F; Milius, S; Silva, A; Zanasi, F;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
We propose an abstract framework for modeling state-based systems with internal behavior as e.g. given by silent or -transitions. Our approach employs monads with a parametrized fixpoint operator to give a semantics to those systems and implement a sound procedure of abstraction of the internal transitions, whose labels are seen as the unit of a free monoid. More broadly, our approach extends the standard coalgebraic framework for state-based systems by taking into account the algebraic structure of the labels of their transitions. This allows to consider a wide range of other examples, including Mazurkiewicz traces for concurrent systems. © 2014 IFIP International Federation for Information Processing.

CloseRead Abstract

2016

Probabilistic NetKAT

Authors
Foster, N; Kozen, D; Mamouras, K; Reitblatt, M; Silva, A;

Publication
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Abstract

2014

Automata Learning: A Categorical Perspective

Authors
Jacobs, B; Silva, A;

Publication
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Abstract