Semantic subtyping for the pi-calculus
type: Item
instance of: scholarly article
title: Semantic subtyping for the pi-calculus
zbMATH Open document ID: 1146.68052
author: Giuseppe Castagna
author: Daniele Varacca
author: Rocco De Nicola
published in: Theoretical Computer Science
publication date: 2008-06-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5292227
zbMATH Keywords: concurrency
zbMATH Keywords: pi-calculus
zbMATH Keywords: types
zbMATH Keywords: subtyping
zbMATH Keywords: channels
zbMATH Keywords: Boolean type combinators
describes a project that uses: PiDuce
describes a project that uses: KLAIM
describes a project that uses: XPi
MaRDI profile type: MaRDI publication profile
full work available at URL: j.tcs.2008.01.049
OpenAlex ID: W1979473344
cites work: XPi: a typed process calculus for XML messaging
cites work: CDuce: an XML-centric general-purpose language
cites work: Theoretical Computer Science
cites work: Encoding ℂDuce in the ℂπ-Calculus
cites work: Automata, Languages and Programming
cites work: PiDuce- A project for experimenting web services technologies
cites work: Parametric polymorphism for XML
cites work: Resource access control in systems of mobile agents
cites work: Types for access control
cites work: Q3837262
cites work: Q4219047
cites work: Q4270081
DOI: 10.1016/J.TCS.2008.01.049
Recommended article: Subtyping for session types in the pi calculus
Recommended article: Q3837262
Recommended article: Termination in a \(\pi\)-calculus with subtyping
Recommended article: Typed behavioural equivalences for processes in the presence of subtyping
description: scientific article; zbMATH DE number 5292227