A functional presentation of pi calculus
type: Item
instance of: scholarly article
title: A functional presentation of pi calculus
zbMATH Open document ID: 1125.68389
DOI: 10.1007/BF02713937
author: Yuxi Fu
published in: Science in China. Series F
publication date: 2007-02-20T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5128500
zbMATH Keywords: functional presentation
zbMATH Keywords: \(\Pi\)-calculus
zbMATH Keywords: CCS
zbMATH Keywords: process algebra
MaRDI profile type: Publication
cites work: A calculus of mobile processes. I
cites work: A theory of higher order communicating systems
cites work: \(\pi\)-calculus, internal mobility, and agent-passing calculi
cites work: Q4219055
cites work: Functions as processes
cites work: Variations on mobile processes
description: scientific article; zbMATH DE number 5128500