C. Campbell, M. Veanes, J. Huo, and A. Petrenko. Multiplexing of partially
ordered events. In F. Khendek and R. Dssouli, editors, 17th IFIP International
Conference on Testing of Communicating Systems, TestCom 2005, volume 3502
of Lecture Notes in Computer Science, pages 97??“110. Springer, 2005b.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-
Wesley, 1988.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state
concurrent systems using temporal logic specifications. ACM Transactions on
Programming Languages and Systems, 8(2):244??“263, April 1986.
E. M. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state
concurrent systems. In J. W. De Bakker, W.-P De Roever, and G Rozenberg,
editors, A Decade of Concurrency, Reflections and Perspectives, volume 803 of
Lecture Notes in Computer Science. Springer, 1994.
Bibliography 335
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
D. E. Comer. Internetworking with TCP/IP, Principles, Protocols, and Architectures,
4th edition. Prentice-Hall, 2000.
J. Davies and J. Woodcock. Using Z: Specification, Refinement, and Proof.
Prentice-Hall, 1996.
L. de Alfaro. Game models for open systems. In N. Dershowitz, editor, Verification:
Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of
His 64th Birthday, volume 2772 of Lecture Notes in Computer Science, pages
269??“289.
Pages:
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432