@article{francalanza-2026-grits, title={Grits: A message-passing programming language based on the semi-axiomatic sequent calculus}, volume={248}, ISSN={0167-6423}, url={http://dx.doi.org/10.1016/j.scico.2025.103360}, DOI={10.1016/j.scico.2025.103360}, journal={Science of Computer Programming}, publisher={Elsevier BV}, author={Francalanza, Adrian and Tabone, Gerard and Pfenning, Frank}, year={2026}, month=Mar, pages={103360} }