Vincent Danos, Russell Harmer, Glynn Winskel. Constraining rule-based dynamics with types. Mathematical Structures in Computer Science, 23(2):272-289, 2013. [doi]
@article{DanosHW13,
title = {Constraining rule-based dynamics with types},
author = {Vincent Danos and Russell Harmer and Glynn Winskel},
year = {2013},
doi = {10.1017/S0960129512000114},
url = {http://dx.doi.org/10.1017/S0960129512000114},
researchr = {https://researchr.org/publication/DanosHW13},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {23},
number = {2},
pages = {272-289},
}