Popular repositories Loading

1. parameterised-connectors parameterised-connectors Public

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

   Scala 1

2. picc picc Public

   Partial Interaction Coordination Constraints - an interactive Reo implementation

   Scala 1

3. connector-family connector-family Public

   Scala 1

4. ip-constraints ip-constraints Public

   Partial Interactive Coordination Constraints

   Scala

5. arca arca Public

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

6. scalaExactOnce scalaExactOnce Public

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

   Scala