A randomized encoding of the \(\pi\)-calculus with mixed choice
type: Item
instance of: scholarly article
title: A randomized encoding of the \(\pi\)-calculus with mixed choice
zbMATH Open document ID: 1080.68080
author: Catuscia Palamidessi
author: Oltea Mihaela Herescu
published in: Theoretical Computer Science
publication date: 2005-06-10T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 2174880
zbMATH Keywords: The \(\pi\)-calculus
zbMATH Keywords: Mixed choice
zbMATH Keywords: Randomized processes
zbMATH Keywords: Testing semantics
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.11.020
OpenAlex ID: W2091938608
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: Process Algebra
cites work: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
cites work: Testing equivalence for mobile processes
cites work: Randomized Dining Philosophers without Fairness Assumption
cites work: Q4508299
cites work: On the generalized dining philosophers problem
cites work: Probabilistic extensions of process algebras.
cites work: Q3992568
cites work: A calculus of mobile processes. I
cites work: Modal logics for mobile processes
cites work: On abstraction and the expressive power of programming languages
cites work: What is a ``good'' encoding of guarded choice?
cites work: Decoding choice encodings
cites work: Testing equivalences for processes
cites work: Q4791842
cites work: Real-Time Synchronization of Interprocess Communications
cites work: \(\pi\)-calculus, internal mobility, and agent-passing calculi
cites work: Testing probabilistic automata
cites work: Q4847023
cites work: Bisimulation and divergence
DOI: 10.1016/J.TCS.2004.11.020
description: scientific article; zbMATH DE number 2174880