Logic for concurrency and synchronisation /

Logic for concurrency and synchronisation /

41

Bibliographic Details
Main Author: Queiroz, Ruy J.G.B. de
Format:
Language:eng
Published: Dordrecht : Kluwer Academic Pubs, 2003
Subjects:
Proof theory
Modality (Logic)
Parallel programming (Computer science)

Similar Items