A symbolic semantics for the \(\pi\)-calculus
type: Item
instance of: scholarly article
title: A symbolic semantics for the \(\pi\)-calculus
zbMATH Open document ID: 0853.68126
author: Michele Boreale
author: Rocco De Nicola
published in: Information and Computation
publication date: 1997-01-02T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 896646
zbMATH Keywords: symbolic transition systems
zbMATH Keywords: \(\pi\)-calculus
zbMATH Keywords: semantics
MaRDI profile type: Publication
full work available at URL: inco.1996.0032
OpenAlex ID: W1997454380
DOI: 10.1006/INCO.1996.0032
description: scientific article; zbMATH DE number 896646