Quantitative analysis of interacting systems: foundations and algorithms

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 two KAT (Kleene algebra with tests) expressions.

A paper relating to this project is in preparation:

Almeida, R., Barbosa, L., Silva, A.: Constructing (Bi)simulations for KAT. To be submitted to RAMiCS? 2014 (14th International Conference on Relational and Algebraic Methods in Computer Science).

r2 - 08 Nov 2013 - 00:51:13 - RicardoAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM