rumpsteak (cargo): Session types for asynchronous communication between multiple parties.
Keywords: types|safety|deadlock|session|async|rust