A weakest precondition semantics for communicating processes

Publisher Website

1 January 1982

book chapter
Published by Springer Nature

p. 78-90
https://doi.org/10.1007/3-540-11494-7_7

Abstract

No abstract available

Keywords

This publication has 14 references indexed in Scilit:

A proof technique for communicating sequential processes
Acta Informatica, 1981
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems, 1980
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980
Semantic analysis of communicating sequential processes
Lecture Notes in Computer Science, 1980
Semantics of nondeterminism, concurrency, and communication
Journal of Computer and System Sciences, 1979
High level programming for distributed computing
Communications of the ACM, 1979
Concurrent Processes and Their Syntax
Journal of the ACM, 1979
Communicating sequential processes
Communications of the ACM, 1978
Nondeterminism and the Correctness of Parallel Programs.
Published by Defense Technical Information Center (DTIC) ,1977
An axiomatic proof technique for parallel programs I
Acta Informatica, 1976