The Howard-Curry correspondence does not help proving properties of concurrent systems. Instead, need to use Actor Event induction: https://papers.ssrn.com/a

The Howard-Curry correspondence does not help proving properties of concurrent systems. Instead, need to use Actor Event induction: https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3418003