Logic for concurrency and synchronisation

Saved in:

Bibliographic Details
Corporate Author:	ebrary, Inc
Other Authors:	Queiroz, Ruy J. G. B. de
Format:	Electronic eBook
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
Series:	Trends in logic ; v. 18.
Subjects:	Proof theory. Modality (Logic) Parallel programming (Computer science) Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet