text.skipToContent text.skipToNavigation
background-image

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic von Bollig, Benedikt (eBook)

  • Erscheinungsdatum: 08.09.2006
  • Verlag: Springer-Verlag
eBook (PDF)
79,72 €
inkl. gesetzl. MwSt.
Sofort per Download lieferbar

Online verfügbar

Formal Models of Communicating Systems

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.

Produktinformationen

    Format: PDF
    Kopierschutz: AdobeDRM
    Seitenzahl: 181
    Erscheinungsdatum: 08.09.2006
    Sprache: Englisch
    ISBN: 9783540329237
    Verlag: Springer-Verlag
    Größe: 1675 kBytes
Weiterlesen weniger lesen

Kundenbewertungen