Thomas T. Hildebrandt. Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. Theoretical Computer Science, 294(1/2):151-181, 2003.
@article{Hildebrandt03, title = {Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay}, author = {Thomas T. Hildebrandt}, year = {2003}, tags = {semantics}, researchr = {https://researchr.org/publication/Hildebrandt03}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {294}, number = {1/2}, pages = {151-181}, }