session-types

Here are 4 public repositories matching this topic...

Declarative concurrency and stream processing library for Scala

add-on to Akka Typed that tracks effects for use with Session Types

distributed-systems scala akka session-types

Multiparty Session Types toolKit

safety model-checking session-types liveness mcrl2 deadlock-avoidance

add-on to Akka Typed that tracks effects for use with Session Types

session-types

Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.

To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."