Responsiveness in process calculi
type: Item
instance of: scholarly article
title: Responsiveness in process calculi
zbMATH Open document ID: 1157.68050
author: Lucia Acciai
author: Michele Boreale
published in: Theoretical Computer Science
publication date: 2008-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5382283
zbMATH Keywords: pi-calculus
zbMATH Keywords: type systems
zbMATH Keywords: responsiveness
zbMATH Keywords: receptiveness
zbMATH Keywords: linearity
describes a project that uses: TyPiCal
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.08.017
OpenAlex ID: W1992832386
cites work: Q2778815
cites work: On the expressiveness of internal mobility in name-passing calculi
cites work: Q4673437
cites work: A type system for lock-free processes
cites work: Type-based information flow analysis for the \(\pi\)-calculus
cites work: A New Type System for Deadlock-Free Processes
cites work: On asynchrony in name-passing calculi
cites work: The name discipline of uniform receptiveness
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: Strong normalisation in the \(\pi\)-calculus
DOI: 10.1016/J.TCS.2008.08.017
Recommended article: On range and response: dimensions of process flexibility
Recommended article: Responsiveness of interoperating components
Recommended article: Q4995154
Recommended article: Q4536594
Recommended article: Response Time Design in Integrated Order Processing/Production Systems
Recommended article: Responsiveness and stable revivals
description: scientific article; zbMATH DE number 5382283