Search results
3 packages found
This package is for experimenting with MP session types
published 1.0.2 7 years ago
M
Q
P
This package is for experimenting with session types
published 1.0.1 7 years ago
M
Q
P
A deadlock-free communication API for web workers based on (a subset of) session types.
published 1.0.3 5 years ago
M
Q
P