The Role of Auxiliary Variables in the Formal Development of Concurrent Programs-Reference-Cited by-同舟云学术

The Role of Auxiliary Variables in the Formal Development of Concurrent Programs

Published:2010 Issue: Volume: Page:167-187
ISSN:
Container-title:Reflections on the Work of C.A.R. Hoare
language:
Short-container-title:

Author:

Jones C. B.

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-84882-912-1_8

Reference59 articles.

1. Abrial, J.-R.: The Event-B Book. Cambridge University Press, Cambridge, UK (2010)

2. Abrial J.-R., Cansell, D.: Development of a concurrent program, private communication (2008).

3. Aczel, P.: A note on program verification. (Private communication) Manuscript, Manchester (January 1982).

4. Ashcroft, E.A., Manna, Z.: Formalization of properties of parallel programs. In: Meltzer, B., Michie, D. (eds.), Machine Intelligence, 6, pp. 17–41. Edinburgh University Press (1971).

5. America, P.: Issues in the design of a parallel object-oriented language. Formal Aspects Comput. 1(4), 366–411 (1989).

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

1. Predictable Verification using Intrinsic Definitions;Proceedings of the ACM on Programming Languages;2024-06-20

2. Grove: a Separation-Logic Library for Verifying Distributed Systems;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23

3. Combining state- and event-based semantics to verify highly available applications;Science of Computer Programming;2021-10

4. CSim 2;ACM Transactions on Programming Languages and Systems;2021-03-31

5. Possible values: Exploring a concept for concurrency;Journal of Logical and Algebraic Methods in Programming;2016-08