Towards the synthesis of asynchronous concurrent programs

D. K. Arvind, B. R. J. McConnell

Research output: Chapter in Book/Report/Conference proceedingConference contribution


The emergence of massively parallel computers poses new challenges for programming them. The purpose of this work is to explore and develop methods for formally infusing concurrency and communication into programs. We investigate a “proofs-to-programs” approach, where specifications which are written in a particular specification language LS(Σ) are shown to be consistent by using a logical calculus associated with the language. An examination of the structure of the resulting proof tree yields a program in an implementation language LI(Σ). Various parallel implementations of the programs are studied by examining their dependence graph, and an asynchronous operational semantics is presented.
Original languageEnglish
Title of host publicationParallel Processing: CONPAR 94 — VAPP VI
Subtitle of host publicationThird Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
EditorsBruno Buchberger, Jens Volkert
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages12
ISBN (Print)978-3-540-48789-0
Publication statusPublished - 1994

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Towards the synthesis of asynchronous concurrent programs'. Together they form a unique fingerprint.

Cite this