|
DSpace at IIT Bombay >
IITB Publications >
Proceedings papers >
Please use this identifier to cite or link to this item:
http://dspace.library.iitb.ac.in/jspui/handle/100/1950
|
| Title: | Asynchronous automata-theoretic characterization of aperiodic trace languages |
| Authors: | ADSUL, B
SOHONI, M |
| Keywords: | monoids |
| Issue Date: | 2004 |
| Publisher: | SPRINGER-VERLAG BERLIN |
| Citation: | FSTTCS 2004: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE,3328,84-96 |
| 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. |
| URI: | http://dspace.library.iitb.ac.in/xmlui/handle/10054/15186
http://hdl.handle.net/100/1950 |
| ISBN: | 3-540-24058-6 |
| ISSN: | 0302-9743 |
| Appears in Collections: | Proceedings papers
|
Files in This Item:
There are no files associated with this item.
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
