Author:
Gomes Leandro,Madeira Alexandre,Barbosa Luís S.
Publisher
Springer International Publishing
Reference15 articles.
1. Blok, W.J., Ferreirim, I.: On the structure of hoops. Algebra Univers. 43, 233–257 (2000)
2. Conway, J.: Regular Algebra and Finite Machines. Dover Publications, New York (1971)
3. den Hartog, J., de Vink, E.P.: Verifying probabilistic programs using a Hoare like logic. Int. J. Found. Comput. Sci. 13(3), 315–340 (2002)
4. Guilherme, R.: A coalgebraic approach to fuzzy automata. Master’s thesis, Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa, Lisboa (2016)
5. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Kleene Algebra of Weighted Programs with Domain;Lecture Notes in Computer Science;2024
2. Shades of Iteration: From Elgot to Kleene;Recent Trends in Algebraic Development Techniques;2023
3. Generalising KAT to Verify Weighted Computations;Scientific Annals of Computer Science;2019-12-30