atscntrb-hx-mysession-g
v1.0.2
Published
This package is for experimenting with MP session types
Downloads
3
Maintainers
Readme
Multi-party Session Types
(* ****** ******* *)
(*
//
// HX-2016:
// An experimental
// implementation of
// multi-party session types
//
*)
(* ****** ******* *)
(*
//
// HX:
// For documentation,
// please read the paper:
// https://arxiv.org/abs/1604.03020
//
*)
(* ****** ******* *)
(* end of [README.md] *)