Trace Refinement of Action Systems-Reference-Cited by-同舟云学术

Trace Refinement of Action Systems

Published:1994 Issue: Volume: Page:367-384
ISSN:0302-9743
Container-title:CONCUR '94: Concurrency Theory
language:
Short-container-title:

Author:

Back R. J. R.,Wright J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-48654-1_28

Reference15 articles.

1. M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82: 253–284, 1991.

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

3. R. Back. Refinement calculus, part II: Parallel and reactive programs. In REX Workshop for Refinement of Distributed Systems volume 430 of Lecture Notes in Computer Science Nijmegen, The Netherlands, 1989. Springer-Verlag.

4. R. Back. Refining atomicity in parallel algorithms. In PARLE Conference on Parallel Architectures and Languages Europe Eindhoven, the Netherlands, June 1989. Springer Verlag.

5. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131–142. ACM, 1983.

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

1. Multi-dimensional Abstraction and Decomposition for Separation of Concerns;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15

2. Linking Formal Methods in Software Development;Theories of Programming and Formal Methods;2023

3. Trace Refinement in B and Event-B;Formal Methods and Software Engineering;2022

4. Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors;Lecture Notes in Computer Science;2020

5. An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities;Lecture Notes in Computer Science;2020