process-calculus topic
List
process-calculus repositories
Sesterl
150
Stars
5
Forks
Watchers
An ML-like statically-typed Erlang
whitepaper
46
Stars
4
Forks
Watchers
📄 The Ambients protocol white paper