Logic for concurrency and synchronisation
By: edited by Ruy J.G.B. de Queiroz.
Contributors: Queiroz, Ruy J. G. B. de.
Series: Trends in logic -- v. 18
Publisher: Kluwer Academic Publishers
Published: 2003
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 284
Subjects: Proof theory.; Modality (Logic); Parallel programming (Computer science)
Notes: Includes bibliographical references.