A theory of communicating processes with value passing
type: Item
instance of: scholarly article
title: A theory of communicating processes with value passing
zbMATH Open document ID: 0794.68098
published in: Information and Computation
publication date: 1994-03-24T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 529880
zbMATH Keywords: communicating processes
zbMATH Keywords: process algebras
zbMATH Keywords: proof system
author: Matthew Hennessy
author: Anna Ingolfsdottir
MaRDI profile type: Publication
full work available at URL: inco.1993.1067
OpenAlex ID: W2071435903
DOI: 10.1006/INCO.1993.1067
description: scientific article; zbMATH DE number 529880