Paper: Partial Order Models of Concurrency and the Computation of Functions (at LICS 1987)
Authors: Haim Gaifman Vaughan R. PrattAbstract
No Abstract Available
BibTeX
@InProceedings{GaifmanPratt-PartialOrderModelso, author = {Haim Gaifman and Vaughan R. Pratt}, title = {Partial Order Models of Concurrency and the Computation of Functions}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {72--85 }, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }