×

Found 2 Documents (Results 1–2)

Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English) Zbl 1214.68125

Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011).
PDFBibTeX XMLCite

Concurrency verification. Introduction to compositional and noncompositional methods. (English) Zbl 1009.68020

Cambridge Tracts in Theoretical Computer Science. 54. Cambridge: Cambridge University Press. xxii, 776 p. (2001).
PDFBibTeX XMLCite

Filter Results by …

Year of Publication

Main Field