Author:
Beneš Nikola,Delahaye Benoît,Fahrenberg Uli,Křetínský Jan,Legay Axel
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Bauer, S.S., David, A., Hennicker, R., Guldstrand Larsen, K., Legay, A., Nyman, U., Wąsowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 43–58. Springer, Heidelberg (2012)
2. Lecture Notes in Computer Science;S.S. Bauer,2011
3. Beneš, N., Delahaye, B., Fahrenberg, U., Křetínský, J., Legay, A.: Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory. CoRR, abs/1306.0741 (2013)
4. Beneš, N., Křetínský, J.: Process algebra for modal transition systemses. In: MEMICS, pp. 9–18 (2010)
5. Lecture Notes in Computer Science;N. Beneš,2011
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Quotient in Preorder Theories;Electronic Proceedings in Theoretical Computer Science;2020-09-20
2. Logical vs. behavioural specifications;Information and Computation;2020-04
3. Synthesis of coordination programs from linear temporal specifications;Proceedings of the ACM on Programming Languages;2020-01
4. A linear-time–branching-time spectrum for behavioral specification theories;Journal of Logical and Algebraic Methods in Programming;2020-01
5. Behavioral Specification Theories: An Algebraic Taxonomy;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020