Specifying Concurrent Program Modules-Reference-Cited by-同舟云学术

Specifying Concurrent Program Modules

Published:1983-04 Issue:2 Volume:5 Page:190-222
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Lamport Leslie¹

Affiliation:

1. Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Reference11 articles.

1. Formal Methods in Communication Protocol Design

2. Lecture Notes in Computer Science;HE,1979

3. INTERNATIONAL ORGANIZATION FOR STANDARDIZATION TC97/SC16/WG1 SUBGROUP B ON STATE MACHINES. A FDT based on an extended state transition model. Working draft of tech. rep. Dec. 1981. INTERNATIONAL ORGANIZATION FOR STANDARDIZATION TC97/SC16/WG1 SUBGROUP B ON STATE MACHINES. A FDT based on an extended state transition model. Working draft of tech. rep. Dec. 1981.

4. LAMPORT L. The "Hoare logic" of concurrent programs. Acta inf. 14 i (June 1980) 21-37. LAMPORT L. The "Hoare logic" of concurrent programs. Acta inf. 14 i (June 1980) 21-37.

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

1. A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability;Proceedings of the ACM on Programming Languages;2024-01-05

2. Correct-by-Construction Design of Custom Accelerator Microarchitectures;IEEE Transactions on Computers;2024-01

3. Verified Fault Handling for Modern Board Management Controllers;Lecture Notes in Computer Science;2024

4. Formal specification and verification of a team formation protocol using TLA⁺;Software: Practice and Experience;2023-12-27

5. DRAMHiT: A Hash Table Architected for the Speed of DRAM;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08