Modelling distributed systems /

Bibliographic Details
Main Author:	Fokkink, Wan, 1965-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin : Springer, 2007.
Series:	Texts in theoretical computer science.
Subjects:	Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Symbolic and Algebraic Manipulation. Theory of Computation. Electronic data processing > Distributed processing. Parallel processing (Electronic computers) Parallel programs (Computer programs) > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online