9 lines
197 B
BibTeX
9 lines
197 B
BibTeX
@inproceedings{winskel1986event,
|
|
title={Event structures},
|
|
author={Winskel, Glynn},
|
|
booktitle={Advanced Course on Petri Nets},
|
|
pages={325--392},
|
|
year={1986},
|
|
organization={Springer}
|
|
}
|
|
|