No mention of behavior types here in the comments? I'm wondering. Let's add this as it's related. https://www.di.fc.ul.pt/~vv/papers/ancona.bono.etal_behav-typ

No mention of behavior types here in the comments? I'm wondering. Let's add this as it's related. https://www.di.fc.ul.pt/~vv/papers/ancona.bono.etal_behav-types-prog-langs.pdf https://www.di.fc.ul.pt/~vv/papers/ancona.bono.etal_behav-ty... As this above is a very academic viewpoint let's add also some reference to a real world implementation of some of the concepts: https://alcestes.github.io/effpi/ https://alcestes.github.io/effpi/ Enjoy! :-)