QaisQuantitative analysis of interacting systems: foundations and algorithms
|
Constructing (Bi)simulations for KATThis 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). | |||
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.