Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series) - Image 1

£36.31

Springer Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Name: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Brand: Springer
Price: 36.0 GBP
Availability: InStock

Network Topics

Price History & Forecast

Last 33 days • 33 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 33 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £36 (17 days, 51.5%)

Price range: £32 - £40

Price levels: 5 different prices over 33 days

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540329226
Category: Books > Subjects > Computing & Internet > Networking & Security > Network Topics
Domain: Amazon UK
Release Date: 24 July 2006
Listed Since: 12 January 2007

Barcode

No barcode data available

Springer Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

An Introduction to Formal Language Theory (Monographs in Computer Science)

Springer Semirings, Automata, Languages: 5 Monographs

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Automata and Languages (Oxford Science Publications)

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Automata and Computability

Logic and Language Models for Computer Science: Third Edition

The Local Information Dynamics of Distributed Computation in Complex Systems (Springer Theses)

Automata Theory and Formal Languages (De Gruyter Textbook)

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)

Formal Languages and Computation: Models and Their Applications

Automata Theory

Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words (Networks and Telecommunications)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Distributed Computing by Mobile Entities: Current Research in Moving and Computing: 11340 (Lecture Notes in Computer Science, 11340)

Regulated Grammars and Automata

Cellular Automata: A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition (Encyclopedia of Complexity and Systems Science Series)