ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Computing Surveys (CSUR), Volume 25 Issue 3, Sept. 1993

An introduction to assertional reasoning for concurrent systems
A. Udaya Shankar
Pages: 225-262
DOI: 10.1145/158439.158441
This is a tutorial introduction to assertional reasoning based on temporal logic. The objective is to provide a working familiarity with the technique. We use a simple system model and a simple proof system, and we keep to a minimum the...

Models of machines and computation for mapping in multicomputers
Michael G. Norman, Peter Thanisch
Pages: 263-302
DOI: 10.1145/158439.158908

Cache coherence in large-scale shared-memory multiprocessors: issues and comparisons
David J. Lilja
Pages: 303-338
DOI: 10.1145/158439.158907

The mathematics of product form queuing networks
Randolph D. Nelson
Pages: 339-369
DOI: 10.1145/158439.158906