Computation calculus bridging a formalization gap

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1422, Issue , 1998, Pages 151-174

  Dijkstra, Rutger M ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BRIDGES;

EXPRESSION MECHANISM; HIGH LEVEL OF ABSTRACTION; OPERATIONAL INTERPRETATION;

CALCULATIONS;

EID: 84957583281     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054289     Document Type: Conference Paper

References (13)

1. K. Mani Chandy and Jayadev Misra. Parallel Program Design, a foundation. Addison-Wesley, 1988.
2. K. Mani Chandy and Beverly A. Sanders. Conjunctive predicate transformers for reasoning about concurrent computation. Science of Computer Programming, 24:129-148, 1995.
3. Edsger W. Dijkstra and Caxel S. Scholten. Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer Verlag New York Inc., 1990.
4. Rutger M. Dijkstra and Beverly A. Sanders. A predicate transformer for the progress property ‘to-always’. Formal Aspects of Computing, 9:270-282, 1997.
5. Rutger M. Dijkstra. Relational calculus and relational program semantics. CSR9408, University of Groningen, 1994.
6. Rutger M. Dijkstra. DUALITY: a simple formalism for the analysis of UNITY. Formal Aspects of Computing, 7:353-388, 1995.
7. E. Allen Emerson and Jal Srinivasan. Branching time temporal logic. In: W.P. de Roever J.W. de Bakker and G. Rozenberger, editors, Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, pages 123-172. Springer-Verlag, 1989. LNCS 354.
8. Wim H. Hesselink. Programs, Recursion and Unbounded Choice. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
9. B. von Karger and C.A.R. Hoare. Sequential calculus. Information Processing Letters, 53:123-130, 1995.
10. E. Knapp, C.S. Jutla, and J.R. Rao. A predicate transformer approach to semantics of parallel programs. In: Proceedings of the 8th Annual ACM symposium on Principles of Distributed Computing, pages 249-263. ACM Press, 1989.
11. Johan J. Lukkien. Parallel Program Design and Generalized Weakest Preconditions. PhD thesis, Rijksuniversiteit Groningen, 1990.
12. Z. Manna and A. Pnueli. Verification of concurrent programs: a temporal proof system. In: J.W. de Bakker and J. van Leeuwen, editors, Foundations Of Computer Science. Distributed Systems: part 2, Semantics and Logic, pages 163-255. Mathematisch Centrum, Amsterdam, 1983. Mathematical Centre Tracts 159.
13. Mathematics of Program Construction Group. Fix-point calculus. Information Processing Letters, 53:131-136, 1995.