Sciweavers

4 search results - page 1 / 1
» On Aperiodic and Star-Free Formal Power Series in Partially ...
Sort
View
MST
2008
155views more  MST 2008»
13 years 4 months ago
On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables
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...
Manfred Droste, Paul Gastin
STACS
1991
Springer
13 years 8 months ago
On Aperiodic Trace Languages
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...
Giovanna Guaiana, Antonio Restivo, Sergio Salemi
TCS
2008
13 years 3 months ago
Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
Jean Berstel, Christophe Reutenauer
CONCUR
1998
Springer
13 years 9 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert