Deciding Synchronous Kleene Algebra with Derivatives-Reference-Cited by-同舟云学术

Deciding Synchronous Kleene Algebra with Derivatives

Published:2015 Issue: Volume: Page:49-62
ISSN:0302-9743
Container-title:Implementation and Application of Automata
language:
Short-container-title:

Author:

Broda Sabine,Cavadas Sílvia,Ferreira Miguel,Moreira Nelma

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-22360-5_5

Reference31 articles.

1. Almeida, M., Moreira, N., Reis, R.: Testing regular languages equivalence. J. Automata Lang. Comb. 15(1/2), 7–25 (2010)

2. Almeida, R.: Decision algorithms for Kleene algebra with tests and Hoare logic. Master’s thesis, Faculdade de Ciências da Universidade do Porto, July 2012. http://www.dcc.fc.up.pt/~nam/web/resources/docs/thesisRA.pdf

3. Almeida, R., Broda, S., Moreira, N.: Deciding KAT and Hoare logic with derivatives. In: Faella, M., Murano, A. (eds.) 3rd GANDALF. EPTCS, vol. 96, pp. 127–140 (2012)

4. Antimirov, V.M.: Partial derivatives of regular expressions and finite automaton constructions. Theoret. Comput. Sci. 155(2), 291–319 (1996)

5. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Synchronous Effects Logic for Temporal Verification of Pure Esterel;Lecture Notes in Computer Science;2021

2. On series-parallel pomset languages: Rationality, context-freeness and automata;Journal of Logical and Algebraic Methods in Programming;2019-02

3. Completeness and Incompleteness of Synchronous Kleene Algebra;Lecture Notes in Computer Science;2019