Specification, verification, and implementation of concurrent programs.

Authors:
Jorgen Staunstrup
Affiliations:
-
Venue:
Specification, verification, and implementation of concurrent programs.
Year:
1978

Citing 0
Cited 3

Monitors and concurrent Pascal: a personal history

HOPL-II The second ACM SIGPLAN conference on History of programming languages
Validating The Utility Of Abstraction Techniques

ACM '78 Proceedings of the 1978 annual conference
Monitors and Concurrent Pascal: a personal history

History of programming languages---II

Quantified Score

Hi-index	0.00

Visualization

Abstract