A hierarchy of equivalences for asynchronous calculi
type: Item
instance of: scholarly article
title: A hierarchy of equivalences for asynchronous calculi
zbMATH Open document ID: 1066.68088
author: Cédric Fournet
author: Georges Gonthier
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-04-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2157580
zbMATH Keywords: Concurrency
zbMATH Keywords: Observational equivalence
zbMATH Keywords: Reduction equivalence
zbMATH Keywords: Process calculi
zbMATH Keywords: Asynchronous \(\pi\)-calculus
zbMATH Keywords: Join calculus
zbMATH Keywords: Barbed bisimulation
zbMATH Keywords: Coupled simulation
zbMATH Keywords: Fair testing
zbMATH Keywords: May testing
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.01.006
OpenAlex ID: W1999810324
cites work: Mobile values, new names, and secure communication
cites work: Authentication primitives and their compilation
cites work: Secure implementation of channel abstractions
cites work: Reasoning about cryptographic protocols in the spi calculus
cites work: A foundation for actor computation
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: Testing equivalence for mobile processes
cites work: Testing equivalences for processes
cites work: Q4813226
cites work: Q4219054
cites work: Bisimulations in the join-calculus
cites work: Implicit typing à la ML for the join-calculus
cites work: Q4536436
cites work: Q3997501
cites work: On reduction-based process semantics
cites work: Q4219055
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: Q4248252
cites work: Barbed bisimulation
cites work: Divergence and fair testing
cites work: Decoding choice encodings
cites work: Q4942625
cites work: A theory of bisimulation for the \(\pi\)-calculus
cites work: On the bisimulation proof method
cites work: The \(\pi\)-calculus: A theory of mobile processes
DOI: 10.1016/J.JLAP.2004.01.006
Recommended article: Q4219054
Recommended article: An equational modeling of asynchronous concurrent programming
Recommended article: Asynchronous process calculi: The first- and higher-order paradigms
Recommended article: On asynchrony in name-passing calculi
Recommended article: Q4219055
Recommended article: On the Asynchronous Nature of the Asynchronous π-Calculus
Recommended article: Q4520537
Recommended article: A simple characterization of asynchronous computations
Recommended article: A synchronous \(\pi\)-calculus
Recommended article: Q5094152
description: scientific article; zbMATH DE number 2157580