Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic - Bollig, Benedikt; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Electronic data processing -- Distributed processing; Multitasking (Computer science); 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