Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Branching Automata with Costs — A Way of Reflecting Parallelism in Costs

Branching Automata with Costs — A Way of Reflecting Parallelism in Costs

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2759/2003
BookImplementation and Application of Automata
DOI10.1007/3-540-45089-0
Copyright2003
ISBN978-3-540-40561-0
DOI10.1007/3-540-45089-0_15
Pages114-118
Subject CollectionComputer Science
SpringerLink DateWednesday, January 01, 2003
Add to marked items

Branching Automata with Costs — A Way of Reflecting Parallelism in Costs

Dietrich Kuske6 Contact Information and Ingmar Meinecke6 Contact Information

(6)  Institut für Algebra, Technische Universität Dresden, D-01062 Dresden, Germany
Abstract
Extending work by Lodaya and Weil, we propose a model of branching automata with costs in which the calculation of the cost of a parallel composition is handled differently from the calculation of the cost of a sequential composition. Our main result characterizes the behavior of these automata in the spirit of Kleene’s and Schützenberger’s theorems.
The technical report [12] that this extended abstract is based on contains complete proofs and can be accessed at the net.

Contact Information Dietrich Kuske
Email: kuske@math.tu-dresden.de

Contact Information Ingmar Meinecke
Email: meinecke@math.tu-dresden.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb08
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)