Sciweavers

81
Voted
CSR
2006
Springer
15 years 4 days ago
Weighted Logics for Traces
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
Ingmar Meinecke