Extended naming conventions for communicating processes
type: Item
instance of: scholarly article
title: Extended naming conventions for communicating processes
zbMATH Open document ID: 0516.68023
DOI: 10.1016/0167-6423(83)90005-9
author: Nissim Francez
published in: Science of Computer Programming
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3817026
zbMATH Keywords: communicating sequential process
zbMATH Keywords: computed communication targets
zbMATH Keywords: unspecified communication targets
zbMATH Keywords: cooperating proofs
zbMATH Keywords: distributed programs
zbMATH Keywords: naming conventions
MaRDI profile type: Publication
full work available at URL: 0167-6423(83)90005-9
OpenAlex ID: W2014476793
description: scientific article; zbMATH DE number 3817026