Work

Proving the Correctness of Multiprocess Programs

Year: 1977

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.1977.229904

Author: L. Lamport

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2132334337

FWCI: 9.494

Cites: 17

Cited by: 1,196

Related to: 9