A Caltech Library Service

Items where Person is "Smith-Todd"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 1982
Number of items: 1.


Misra, J. and Chandy, K. M. and Smith, Todd (1982) Proving safety and liveness of communicating processes with examples. In: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing. Association for Computing Machinery , New York, NY, pp. 201-208. ISBN 0-89791-081-8.

This list was generated on Wed Aug 12 00:25:11 2020 PDT.