Archived tweet #10934 from the @leastfixedpoint Twitter Archive

@ajtgurney @zeeshanlakhani Thanks for that! I'd seen some of their earlier work on this, looks like the 2017 draft has new material. Looks useful. I'm thinking of taking a PLish approach to networking; trying tools from the operational semantics toolkit, perhaps. Relates to my dissertation.