ICAR Research Data Repository for Knowledge Management
DSpace at IIT Bombay
View Archive InfoMetadata
| Field | Value |
| Title | Asynchronous automata-theoretic characterization of aperiodic trace languages |
| Names |
ADSUL, B
SOHONI, M |
| Date Issued | 2004 (iso8601) |
| Abstract | We characterize aperiodic distributed behaviours, modelled as Mazurkiewicz traces in terms of a very natural cascade product of the gossip automaton with a counter-free asynchronous automaton. The characterization strengthens the fundamental results of Schutzenberger and, McNaughton and Papert and implies that star-free, equivalently, first-order-definable trace languages admit counter-free asynchronous acceptors modulo the gossip automaton. |
| Genre | Article; Proceedings Paper |
| Topic | Monoids |
| Identifier | FSTTCS 2004: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE,3328,84-96 |