Analysing input/output-capabilities of mobile processes with a generic type system
type: Item
instance of: scholarly article
title: Analysing input/output-capabilities of mobile processes with a generic type system
zbMATH Open document ID: 1066.68089
author: Barbara König
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-04-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2157578
zbMATH Keywords: \(\pi\)-calculus
zbMATH Keywords: Type systems
zbMATH Keywords: Lattice-ordered monoids
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.01.004
OpenAlex ID: W2021288161
cites work: Q4255591
cites work: Q3837262
cites work: A type system for lock-free processes
cites work: Secrecy by typing in security protocols
cites work: Q4518881
cites work: Q2754161
cites work: Distributed processes and location failures
cites work: Assigning types to processes
cites work: A generic type system for the Pi-calculus
cites work: Q4536623
cites work: A calculus of mobile processes. II
cites work: The chemical abstract machine
cites work: Q5331549
cites work: Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
cites work: Q4270069
cites work: Q4472460
DOI: 10.1016/J.JLAP.2004.01.004
description: scientific article; zbMATH DE number 2157578