Normal design algebra-Reference-Cited by-同舟云学术

Normal design algebra

Published:2010-02 Issue:2 Volume:79 Page:144-173
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Guttmann Walter,Möller Bernhard

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference45 articles.

1. C.J. Aarts, Galois connections presented calculationally, Master’s Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, 1992.

2. Fixed-point calculus;Aarts;Inform. Process. Lett.,1995

3. Programming as an evolutionary process;Bauer,1976

4. Relational algebraic semantics of deterministic and nondeterministic programs;Berghammer;Theoret. Comput. Sci.,1986

5. M. Broy, R. Gnatz, M. Wirsing, Semantics of nondeterministic and noncontinuous constructs, in: F.L. Bauer, M. Broy, (Eds.), Program Construction, Lecture Notes in Computer Science, vol. 69, Springer-Verlag, 1979, pp. 553–592.

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

1. Semantics Foundation for Cyber-physical Systems Using Higher-order UTP;ACM Transactions on Software Engineering and Methodology;2023-01-31

2. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023

3. Automated verification of reactive and concurrent programs by calculation;Journal of Logical and Algebraic Methods in Programming;2021-06

4. Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving;Relational and Algebraic Methods in Computer Science;2021

5. Unifying theories of reactive design contracts;Theoretical Computer Science;2020-01