Termination in higher-order concurrent calculi
type: Item
instance of: scholarly article
title: Termination in higher-order concurrent calculi
zbMATH Open document ID: 1205.68241
author: Romain Demangeon
author: Daniel Hirschkoff
author: Davide Sangiorgi
published in: The Journal of Logic and Algebraic Programming
publication date: 2010-10-22T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5804233
zbMATH Keywords: concurrency theory
zbMATH Keywords: process algebra
zbMATH Keywords: termination
zbMATH Keywords: type systems
zbMATH Keywords: higher-order calculi
zbMATH Keywords: \(\pi \)-calculus
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.07.007
OpenAlex ID: W1974475317
cites work: Ensuring termination by typability
cites work: A CPS encoding of name-passing in higher-order mobile embedded resources
cites work: What is a ``good'' encoding of guarded choice?
cites work: Termination in Higher-Order Concurrent Calculi
cites work: Termination of processes
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: Global Computing
cites work: Q4799892
cites work: Strong normalisation in the \(\pi\)-calculus
DOI: 10.1016/J.JLAP.2010.07.007
description: scientific article; zbMATH DE number 5804233