Home
Scholarly Works
A communication data type for message oriented...
Conference

A communication data type for message oriented programming

Abstract

In this report we resort to a definitional specification technique in order to be able to bridge the gap between program specification and program implementation (expressed in a high level application language) in message oriented programming. We show how the notion of algebraic specification can be used to formalize the communications primitives and then applied to the verification of communications properties of parallel programs. We illustrate the method by introducing elements of a calculus for reasoning about message passing programs and then using a specification of the consumer and producer problem and showing that the proposed solution is deadlock free.

Authors

Cunha PRF; Maibaum TSE

Series

Lecture Notes in Computer Science

Volume

83

Pagination

pp. 79-91

Publisher

Springer Nature

Publication Date

January 1, 1980

DOI

10.1007/3-540-09981-6_6

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743
View published work (Non-McMaster Users)

Contact the Experts team