REBLS Artifacts
On this page you'll find an overview all software tools and other artifacts developed in the course of our research group.
-
ambient-oriented programming, actor-based, peer-to-peer discovery -
-
coordination language, consistent reasoning -
-
Type systems, Linear types -
Linear typing, Session typing