Models for quantitative distributed systems and multi-valued logics

Martin Huschenbett
2013 International Journal of Computer Mathematics  
We investigate weighted asynchronous cellular automata with weights in valuation monoids. These automata form a distributed extension of weighted finite automata and allow us to model concurrency. Valuation monoids are abstract weight structures that include semirings and (nondistributive) bounded lattices but also offer the possibility to model average behaviors. We prove that weighted asynchronous cellular automata and weighted finite automata which satisfy an I-diamond property are equally
more » ... pressive. The main result of this paper gives a characterization of this expressiveness by weighted MSO logic. * This paper is based on my Master's thesis [18] which I wrote at Universität Leipzig. A preliminary version appeared as [20] .
doi:10.1080/00207160.2012.702211 fatcat:xzrxiclfcngtpiu6g5u7ltf43q