Matt Earnshaw › preprints and extended abstracts [#247]

Reference. Context-free languages of string diagrams [earnshaw-román-2024-cfml]

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

@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] 

@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}
}

Reference. Contouring prostar autonomous categories [earnshaw-hefford-roman-2023-contouring-prostar-autonomous] 

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Hefford, James and Rom\'{a}n, Mario},
  title =	{{Contouring Prostar Autonomous Categories}},
  year =	{2023},
  annote =    {Extended Abstract}
}