#

session-types

Here are 4 public repositories matching this topic...

sessionkotlin / sessionkotlin

Multiparty Session Types in Kotlin

kotlin session-types

Updated Dec 31, 2023
Kotlin

sessionkotlin / sessionkotlin-template-gradle

Gradle project template

kotlin template gradle session-types

Updated Jan 21, 2023
Kotlin

ahbnr / SessionTypeABS

Semi-Dynamic Session Types for Active Objects

distributed-systems verification session-types abs

Updated Mar 20, 2021
Kotlin

sessionkotlin / sessionkotlin-template-maven

Maven project template

kotlin template maven session-types

Updated Jan 21, 2023
Kotlin

Improve this page

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

Curate this topic

Add this topic to your repo

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