Extended naming conventions for communicating processes

DOI10.1016/0167-6423(83)90005-9zbMath0516.68023OpenAlexW2014476793MaRDI QIDQ1052819

Nissim Francez

Publication date: 1983

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(83)90005-9

zbMATH Keywords

distributed programscommunicating sequential processcooperating proofscomputed communication targetsnaming conventionsunspecified communication targets

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

A weakest precondition semantics for communicating processes

This page was built for publication: Extended naming conventions for communicating processes