Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
type: Item
instance of: scholarly article
title: Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
zbMATH Open document ID: 1353.68204
DOI: 10.1007/978-3-642-29320-7_19
author: Chaodong He
author: Yuxi Fu
author: Hongfei Fu
published in: Fundamentals of Software Engineering
publication date: 2012-06-29T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6051390
MaRDI profile type: Publication
full work available at URL: 978-3-642-29320-7 19
OpenAlex ID: W299925633
description: scientific article; zbMATH DE number 6051390