RT @bblfish Looking for the relation between (#Akka) Actors and Session Types I found this 2015 presentation by @rolandkuhn (one can recognise #philipwadler's voice in the audience asking questions). On Session types see: https://t.co/HnKF5ASK6V https://t
.@bblfish @fuserleer @radixdlt @RadixCommunity /3 To ease reading and accessibility of the content, proofs of the properties enjoyed by well-typed processes and additional technical material have been collected in the Appendix.
/2 .@fuserleer @radixdlt @RadixCommunity The com- munication type system assuring that processes behave correctly with respect to the sessions in which they are involved is illustrated with examples in §4. §5 discusses re- lated work and further readings.
This is what .@fuserleer is managing with @radixdlt Outline. We start illustrating our calculus with simple yet comprehensive examples in §2. The calculus of asynchronous, multiparty sessions is the content of §3. @RadixCommunity