The growth of networked and distributed systems in several application domains has been explosive in the past few years. This has changed the way we reason about distributed systems in many ways. One issue of definitive importance is the following: what model to use for large-scale interactive or mission-critical applications? The MICRA project intends to study, propose, and validate an adequate model to address this problem.
LASIGE is supported by FCT project with reference UID/CEC/00408/2013.