Formale Modelle kommunizierender Systeme: Sprachen, Automaten und monadische Sek...
89,58 €
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-order Logic, Paperback by Bollig, Benedikt, ISBN 3642069479, ISBN-13 9783642069475, Like New Used, Free P&P in the UK 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.
Jetzt bei Ebay:
