On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
type: Item
instance of: scholarly article
title: On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
zbMATH Open document ID: 1078.68106
author: Arnaud Carayol
author: Daniel Hirschkoff
author: Davide Sangiorgi
published in: Theoretical Computer Science
publication date: 2005-02-22T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2136585
zbMATH Keywords: Fairness
zbMATH Keywords: Lambda-calculus
zbMATH Keywords: \(\pi\)-calculus
zbMATH Keywords: Behavioural equivalence
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.005
OpenAlex ID: W2133824354
cites work: Q4836494
cites work: Lambda-calculi for (strict) parallel functions
cites work: Q4222749
cites work: A Filter Model for Concurrent $\lambda$-Calculus
cites work: Interaction nets with McCarthy's \(\mathsf{amb}\)
cites work: Proving congruence of bisimulation in functional programming languages
cites work: Relational reasoning about contexts
cites work: Q4941902
cites work: Q5601829
cites work: Q4219055
cites work: Q4038690
cites work: Divergence and fair testing
cites work: Decoding choice encodings
cites work: Q3819986
cites work: A Naïve Time Analysis and its Theory of Cost Equivalence
cites work: Asynchronous process calculi: The first- and higher-order paradigms
cites work: The \(\pi\)-calculus: A theory of mobile processes
DOI: 10.1016/J.TCS.2004.10.005
description: scientific article; zbMATH DE number 2136585