6,021 followers
@datacountry_ai Just footnoting … Modeling contracts with Petri nets goes back to 1988: https://t.co/kdHQIDKkbK Re the pi calculus and CCP, I recently encountered Milner on bigraphs: https://t.co/XsL3RbIrl0 Actor-style contract party models underlie UML