A more complete model of communicating processes
type: Item
instance of: scholarly article
title: A more complete model of communicating processes
zbMATH Open document ID: 0513.68020
DOI: 10.1016/0304-3975(83)90081-6
author: J. Blot
published in: Theoretical Computer Science
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3810903
zbMATH Keywords: calculus of total correctness
zbMATH Keywords: predicates
zbMATH Keywords: partial recursive functions
MaRDI profile type: Publication
full work available at URL: 0304-3975(83)90081-6
OpenAlex ID: W2152279394
cites work: A calculus of total correctness for communicating processes
cites work: A Theory of Communicating Sequential Processes
cites work: Q5537599
description: scientific article; zbMATH DE number 3810903