On the expressiveness of internal mobility in name-passing calculi
type: Item
instance of: scholarly article
title: On the expressiveness of internal mobility in name-passing calculi
zbMATH Open document ID: 0915.68059
DOI: 10.1016/S0304-3975(97)00220-X
author: Michele Boreale
published in: Theoretical Computer Science
publication date: 1999-01-20T00:00:00Z
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 1243208
zbMATH Keywords: \(\pi\)-calculus
MaRDI profile type: Publication
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: An efficiency preorder for processes
cites work: A fully abstract semantics for causality in the \(\pi\)-calculus
cites work: Some congruence properties for \(\pi\)-calculus bisimilarities
cites work: Testing equivalences for processes
cites work: A \(\pi\)-calculus with explicit substitutions
cites work: Q4813226
cites work: Functions as processes
cites work: Decoding choice encodings
cites work: Algebraic theories for name-passing calculi
cites work: Q3837262
cites work: Asynchronous process calculi: The first- and higher-order paradigms
cites work: Locality and interleaving semantics in calculi for mobile processes
cites work: A theory of bisimulation for the \(\pi\)-calculus
cites work: \(\pi\)-calculus, internal mobility, and agent-passing calculi
Recommended article: On the expressiveness of internal mobility in name-passing calculi
Recommended article: On the relative expressive power of calculi for mobility
Recommended article: Algebraic theories for name-passing calculi
Recommended article: Foundations of Software Science and Computation Structures
Recommended article: Q4738222
Recommended article: Q4219055
Recommended article: On asynchrony in name-passing calculi
Recommended article: Name-passing calculi: from fusions to preorders and types
Recommended article: Name-Passing Calculi: From Fusions to Preorders and Types
Recommended article: Name-passing in an ambient-like calculus and its proof using spatial logic
description: scientific article; zbMATH DE number 1243208