%0 Conference Paper
%B Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS '11)
%D 2011
%T Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
%A Alexandra Silva
%A Ana Sokolova
%C Pittsburgh, PA, USA
%I ACM
%P 291––311
%S Electronic Notes in Theoretical Computer Science
%V 276
%X <p>Coalgebras provide a uniform framework to study dynamical systems, including several types of automata. In this paper, we make use of the coalgebraic view on systems to investigate, in a uniform way, under which conditions calculi that are sound and complete with respect to behavioral equivalence can be extended to a coarser coalgebraic language equivalence, which arises from a generalised powerset construction. We illustrate the framework with two examples: non-deterministic automata, for which we recover Rabinovich’s sound and complete calculus for language equivalence, and weighted automata, for which we present the first sound and complete calculus for weighted language equivalence.</p>
%8 May
%> https://haslab.uminho.pt/sites/default/files/xana/files/bms-11-draft.pdf