Testing equivalence for mobile processes
type: Item
instance of: scholarly article
title: Testing equivalence for mobile processes
zbMATH Open document ID: 0835.68073
author: Michele Boreale
author: Rocco De Nicola
published in: Information and Computation
publication date: 1995-09-17T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 797309
zbMATH Keywords: process algebras
zbMATH Keywords: distributed concurrent systems
MaRDI profile type: Publication
full work available at URL: inco.1995.1114
OpenAlex ID: W1988856107
DOI: 10.1006/INCO.1995.1114
description: scientific article; zbMATH DE number 797309