XPi: a typed process calculus for XML messaging
type: Item
instance of: scholarly article
title: XPi: a typed process calculus for XML messaging
zbMATH Open document ID: 1146.68050
author: Lucia Acciai
author: Michele Boreale
published in: Science of Computer Programming
publication date: 2008-05-19T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5276391
zbMATH Keywords: pi-calculus
zbMATH Keywords: XML-messaging
zbMATH Keywords: pattern-matching
zbMATH Keywords: type systems
describes a project that uses: CDuce
describes a project that uses: PiDuce
describes a project that uses: XPi
describes a project that uses: XDuce
MaRDI profile type: Publication
full work available at URL: j.scico.2008.02.001
OpenAlex ID: W1964026148
DOI: 10.1016/J.SCICO.2008.02.001
description: scientific article; zbMATH DE number 5276391