Conference
How to relieve a programmer from synchronization details
Abstract
An alternative method of specifying concurrent systems is presented. The method consists in starting with a sequential program and next determining an independency relation that allows relaxation of the sequential structure of the program. A programming language and a theoretical background for the method are discussed.
Authors
Janicki R
Pagination
pp. 438-446
Publisher
Association for Computing Machinery (ACM)
Publication Date
1988
DOI
10.1145/322609.322790
Name of conference
Proceedings of the 1988 ACM sixteenth annual conference on Computer science - CSC '88