Gordon D. Plotkin, Vaughan R. Pratt. Teams can see pomsets. In Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, editors, Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. Volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 117-128, DIMACS/AMS, 1996.
@inproceedings{PlotkinP96,
title = {Teams can see pomsets},
author = {Gordon D. Plotkin and Vaughan R. Pratt},
year = {1996},
researchr = {https://researchr.org/publication/PlotkinP96},
cites = {0},
citedby = {0},
pages = {117-128},
booktitle = {Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996},
editor = {Doron A. Peled and Vaughan R. Pratt and Gerard J. Holzmann},
volume = {29},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {DIMACS/AMS},
}