npm

3 packages found

M
Q
P

Description

This package is for experimenting with MP session types

Keywords

Publisher

published 1.0.22 years ago
M
Q
P

Description

This package is for experimenting with session types

Keywords

Publisher

published 1.0.12 years ago
M
Q
P

Description

A deadlock-free communication API for web workers based on (a subset of) session types.

Keywords

Publisher

published 1.0.35 months ago