Scholarly Works

How to relieve a programmer from synchronization...

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

January 1, 1988

DOI

10.1145/322609.322790

Name of conference

Proceedings of the 1988 ACM sixteenth annual conference on Computer science - CSC '88

Associated Experts

Ryszard Janicki

Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

46 Information and Computing Sciences 4601 Applied Computing

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback