Description: Logics for concurrency :

Main Author:	Moller, Faron, 1962-
Other Authors:	Birtwistle, G. M.
Format:	Book
Language:	English
Published:	Berlin : Springer, c1996.
Subjects:	Electronic data processing > Distributed processing Parallel processing (Electronic computers)

Physical Description:	xi, 266 p. : ill. ; 24 cm.
Bibliography:	Includes bibliographical references.
ISBN:	3540609156 (alk. paper)