A method for refining atomicity in parallel algorithms-Reference-Cited by-同舟云学术

A method for refining atomicity in parallel algorithms

Published:1989 Issue: Volume: Page:199-216
ISSN:0302-9743
Container-title:PARLE '89 Parallel Architectures and Languages Europe
language:
Short-container-title:

Author:

Back R. J. R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51285-3_42.pdf

Reference26 articles.

1. Back, R.J.R., On the correctness of refinement steps in program development (Ph.D. thesis), Report A-1978-4, Dept. of Computer Science, University of Helsiniki, 1978.

2. Back, R.J.R., Correctness Preserving Program Refinements: Proof Theory and Applications, Mathematical Center Tracts 131, Mathematical Centre, Amsterdam 1980.

3. R.J.R. Back, A Calculus of Refinements for Program Derivations, Acta Informatica vol. 25, no 6, 1988, 593–624.

4. Back, R.J.R., Procedural abstraction in the refinement calculus, Reports on Computer Science and Mathematics 55, Abo Akademi 1987.

5. Back,R.J.R., Refining atomicity in parallel programs, Reports on Computer Science and Mathematics 57, Abo Akademi 1988.

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

1. The anchor verifier for blocking and non-blocking concurrent software;Proceedings of the ACM on Programming Languages;2020-11-13

2. Adding Concurrency to a Sequential Refinement Tower;Rigorous State-Based Methods;2020

3. A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic;Unifying Theories of Programming;2019

4. Conclusions;Refinement;2018

5. Designing a semantic model for a wide-spectrum language with concurrency;Formal Aspects of Computing;2017-09