Skip to content
View joseproenca's full-sized avatar
20 followers · 5 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@haslab @arcalab @cister-labs @ReoLanguage @LightKone
Block or Report

Block or report joseproenca

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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