Grant BI1 2012 PTDC/EIA CCO/122240/2010 UMINHO WP1 Calculating fault propagation in functional programs This site contains the experimental part of the homonym ...
Constructing (Bi)simulations for KAT This page contains the source code of KAT Decider, a project which features the decision of language inclusion/equality between ...
Research/QAIS Web Preferences The following settings are web preferences of the Research/QAIS web. These preferences overwrite the site level preferences in ...
Quantitative analysis of interacting systems: foundations and algorithms Project Summary In recent years, there has been an increasing interest in studying the behavior ...
Quantitative analysis of interacting systems: foundations and algorithms Summary 5000 In recent years, there has been an increasing interest in studying the behavior ...
T4 Case study: the ASK system The ASK system is a communication software product that acts as a mediator between service consumers and service providers, for instance ...
T5 Application: a !QoS robust composition calculus for services This task aims at integrating the theoretical results obtained in T1 ad T2 with the team previous work ...
T1 Uniform metric derivation for quantitative models of computation In order to study services from a quantitative perspective, there is a need to shift from classical ...
T3: Computational Layer: algorithms Language equivalences of finite DAs and bisimilarity of finite LTSs can be respectively computed via the Myhill Nerode algorithm ...
T2 Coalgebraic Metric Bisimulation Bisimulations are an extremely useful tool for reasoning about the equivalence of systems: in order to prove that two systems ...