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

• Main Author: Bollig, Benedikt
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
• Subjects: Software engineering; Information theory; Computer science; Computer software; Information systems; Computer Science; Software Engineering; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Information Systems and Communication Service