Benedikt Bollig
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic Benedikt Bollig 1st Ed. Softcover of Orig. Ed. 2006 edition

Name: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic
Price: 8657 JPY
Availability: OutOfStock
Author: Benedikt Bollig

価格

¥ 8.657

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月15日 - 年10月27日

Benedikt Bollig の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic

Benedikt Bollig

1st Ed. Softcover of Orig. Ed. 2006 edition

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

181 pages, 6 black & white tables, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2010年10月14日
ISBN13	9783642069475
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	181
寸法	156 × 234 × 10 mm · 276 g
言語	英語