Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

conference paper · ACM Symposium on Principles of Distributed Computing (PODC) · 1983

GEM: A tool for concurrency specification and verification

Amy L. Lansky, Susan S. Owicki

Cited by 8Open access

Abstract

The GEM model of concurrent computation is presented. Each GEM computation consists of a set of partially ordered events, and represents a particular concurrent execution. Language primitives for concurrency, code segments, as well as concurrency problems may be described as logic formulae (restrictions) on the domain of possible GEM computations. An event-oriented method of program verification is also presented. GEM is unique in its ability to easily describe and reason about synchronization properties.

Cite this paper

APA 7

Lansky, A. L., & Owicki, S. S. (1983). GEM: A tool for concurrency specification and verification. ACM Symposium on Principles of Distributed Computing (PODC), 198–212. https://doi.org/10.1145/800221.806722

MLA 9

Lansky, Amy L., and Susan S. Owicki. “GEM: A tool for concurrency specification and verification.” ACM Symposium on Principles of Distributed Computing (PODC), 1983, pp. 198–212, https://doi.org/10.1145/800221.806722.

Chicago

Lansky, Amy L., and Susan S. Owicki. 1983. “GEM: A tool for concurrency specification and verification.” ACM Symposium on Principles of Distributed Computing (PODC): 198–212. https://doi.org/10.1145/800221.806722.

Harvard

Lansky, A.L. and Owicki, S.S. (1983) ‘GEM: A tool for concurrency specification and verification’, ACM Symposium on Principles of Distributed Computing (PODC), pp. 198–212. Available at: https://doi.org/10.1145/800221.806722.

BibTeX
@article{lansky1983tool,
  title = {{GEM: A tool for concurrency specification and verification}},
  author = {Lansky, Amy L. and Owicki, Susan S.},
  journal = {ACM Symposium on Principles of Distributed Computing (PODC)},
  pages = {198--212},
  year = {1983},
  doi = {10.1145/800221.806722}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers