An axiomatic proof technique for parallel programs I

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 6

Record: found
Abstract: not found
Article: not found

An axiomatic basis for computer programming

C. Hoare (1969)

0 comments Cited 374 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Program proving: Coroutines

M. Clint (1973)

0 comments Cited 13 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Synchronization of communicating processes

A. Nico Habermann (1972)

0 comments Cited 7 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: Acta Informatica

Abbreviated Title: Acta Informatica

Publisher: Springer Nature

ISSN (Print): 0001-5903

ISSN (Electronic): 1432-0525

Publication date Created: 1976

Publication date (Print): 1976

Volume: 6

Issue: 4

Pages: 319-340

Article

DOI: 10.1007/BF00268134

SO-VID: 2a438b4e-6e27-473b-b87e-e37e38832e6f

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.