Decomposition of distributed programs into communication-closed layers
type: Item
instance of: scholarly article
title: Decomposition of distributed programs into communication-closed layers
zbMATH Open document ID: 0514.68033
DOI: 10.1016/0167-6423(83)90013-8
author: Tzilla Elrad
author: Nissim Francez
published in: Science of Computer Programming
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3812941
zbMATH Keywords: communicating processes
zbMATH Keywords: program verification
MaRDI profile type: Publication
full work available at URL: 0167-6423(83)90013-8
OpenAlex ID: W2042981544
description: scientific article; zbMATH DE number 3812941