Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic - Bollig, Benedikt; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Software engineering; Information theory; Computer software; Information systems; Computer Science; Computation by Abstract Devices; Software Engineering; Theory of Computation; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Information Systems and Communication Service