In the research community at least, a lot of that ...
# thinking-togetherm
Miles Sabin
05/10/2019, 8:54 AMIn the research community at least, a lot of that stuff disappeared in favour of work on mobile calculii of various sorts, pi/ambient calculus, petri nets that sort of thing.
c
curious_reader
05/15/2019, 8:41 AMHello Miles again 😅, I try this thread thing, as I think its better suited for intermediate discussions.
curious_reader
05/15/2019, 8:43 AMRegarding the mobile calculi , greg merediths rholang which is based on the rho calculus seems very interesting. I really do hope they get their RChain blockchain off the ground so that everyone in the world can play arround with it.
curious_reader
05/15/2019, 8:45 AMI came across statebox which even brings back petri nets in the distributed systems context: https://statebox.org/research/
2 Views