DSpace
 

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.

View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback