Work

Proving assertions about parallel programs

Year: 1975

Type: article

Source: Journal of Computer and System Sciences

DOI: 10.1016/s0022-0000(75)80018-3

Author: E.A. Ashcroft

Institution: University of Waterloo

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2144738461

FWCI: 6.563

Cites: 7

Cited by: 150

Related to: 10