Popular repositories Loading

1. parameterised-connectors parameterised-connectorsPublic

   Scala library with support for a calculus of connectors with parameters that influence their interfaces.

   Scala 1

2. picc piccPublic

   Partial Interaction Coordination Constraints - an interactive Reo implementation

   Scala 1

3. connector-family connector-familyPublic

   Scala 1

4. ip-constraints ip-constraintsPublic

   Partial Interactive Coordination Constraints

   Scala

5. arca arcaPublic

   Webpage about the research team Arca, part of HASLab in the department of informatics of the university of Minho.

6. scalaExactOnce scalaExactOncePublic

   Implements the algorithm in the paper "Exactly-Once Quantity Transfer", by Ali Shiker et al.

   Scala