1 citations · 1 across the 1 of their papers we have counts for
1 paper
Benjamin Plummer, Corina Cirstea
Traces form a coarse notion of semantic equivalence between states of a process, and have been studied coalgebraically for various types of system. We instantiate the finitary coal…