Person. Chad Nester [chadnester]

Postdoctoral Researcher
Tallinn University of Technology
https://www.ioc.ee/~cneste/

Contributions

Reference. Polar interleavings for deadlock-free message-passing [earnshaw-nester-roman-2023-polar-interleavings]

November 1, 2023
Matt Earnshaw, Chad Nester, Mario Román

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Nester, Chad and Rom\'{a}n, Mario},
  title =	{{Polar Interleavings for Deadlock-Free Message-Passing}},
  year =	{2023},
  annote =    {Extended Abstract}
}

Reference. Presentations of premonoidal categories by devices [earnshaw-nester-roman-2023-presentations-of-premonoidals]

November 1, 2023
Matt Earnshaw, Chad Nester, Mario Román

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Nester, Chad and Rom\'{a}n, Mario},
  title =	{{Presentations of Premonoidal Categories by Devices}},
  year =	{2023},
  annote =    {Extended Abstract}
}