168
click to vote
STACS
1991
Springer
15 years 8 months ago
1991
Springer
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
146
click to vote
STACS
1991
Springer
15 years 8 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
162
click to vote
SRDS
1991
IEEE
15 years 8 months ago
1991
IEEE
We present a protocol for the distributed detection of garbage in a distributed system subject to common failures such as lost and duplicated messages, network partition, dismount...