Publisher
Springer Berlin Heidelberg
Reference67 articles.
1. B. Alpern, F.B. Schneider: Defining liveness. Information Processing Letters 21, 181–185 (1985)
2. R.-J.R. Back: A calculus of refinements for program derivations. Acta Informatica 25, 593–624 (1988)
3. J.C.M. Baeten, W.P. Wijland: Process algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge: Cambridge University Press 1990
4. J.W. de Bakker, J.I. Zucker: Compactness in semantics for merge and fair merge. In: E. Clarke and D. Kozen (eds.): Logics of Programs. Lecture Notes in Computer Science 164. Berlin: Springer 1983, 18–33
5. F.L. Bauer, B. Möller, H. Partsch, P. Pepper: Formal program construction by transformations — Computer-aided, Intuition-guided Programming. IEEE Trans actions on Software Engineering 15, 165–180 (1989)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Transforming Stream Processing Functions into State Transition Machines;Software Engineering Research and Applications;2006
2. Lazy Kleene Algebra;Lecture Notes in Computer Science;2004