2015
Authors
Bonchi, F; Milius, S; Silva, A; Zanasi, F;
Publication
THEORETICAL COMPUTER SCIENCE
Abstract
We propose an abstract framework for modelling state-based systems with internal behaviour as e.g. given by silent or epsilon-transitions. Our approach employs monads with a parametrized fixpoint operator dagger 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 and non-deterministic transducers.
2015
Authors
Endrullis, Jorg; Hansen, HelleHvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra;
Publication
CoRR
Abstract
2015
Authors
Silva, A;
Publication
SIGLOG News
Abstract
2016
Authors
Smolka, S; Kumar, P; Foster, N; Kozen, D; Silva, A;
Publication
CoRR
Abstract
2016
Authors
Moerman, J; Sammartino, M; Silva, A; Klin, B; Szynwelski, M;
Publication
CoRR
Abstract
2015
Authors
Jacobs, B; Silva, A; Sokolova, A;
Publication
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Abstract
This paper takes a fresh look at the topic of trace semantics in the theory of coalgebras. In the last few years, two approaches, somewhat incomparable at first sight, captured successfully in a coalgebraic setting trace semantics for various types of transition systems. The first development of coalgebraic trace semantics used final coalgebras in Kleisli categories and required some non-trivial assumptions, which do not always hold, even in cases where one can reasonably speak of traces (like for weighted automata). The second development stemmed from the observation that trace semantics can also arise by performing a determinization construction and used final coalgebras in Eilenberg-Moore categories. In this paper, we develop a systematic study in which the two approaches can be studied and compared. Notably, we show that the two different views on trace semantics are equivalent, in the examples where both approaches are applicable.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.