Description: Logic for concurrency and synchronisation

Corporate Author:	ebrary, Inc.
Other Authors:	Queiroz, Ruy J. G. B. de.
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
Series:	Trends in logic ; v. 18
Subjects:	Proof theory. Modality (Logic)
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10067496

Physical Description:	xxi, 284 p. : ill.
Bibliography:	Includes bibliographical references.