Variations on mobile processes
type: Item
instance of: scholarly article
title: Variations on mobile processes
zbMATH Open document ID: 0930.68062
DOI: 10.1016/S0304-3975(99)00037-7
author: Yuxi Fu
published in: Theoretical Computer Science
publication date: 2000-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1387431
zbMATH Keywords: concurrency theory
zbMATH Keywords: process algebra
zbMATH Keywords: mobile process
zbMATH Keywords: bisimulation
MaRDI profile type: Publication
cites work: Computational interpretations of linear logic
cites work: Proofs as processes
cites work: Q4885871
cites work: On bisimulations for the asynchronous π-calculus
cites work: The lambda calculus, its syntax and semantics
cites work: Q5620723
cites work: *-Autonomous categories and linear logic
cites work: On the \(\pi\)-calculus and linear logic
cites work: The chemical abstract machine
cites work: On the expressiveness of internal mobility in name-passing calculi
cites work: A proof theoretical approach to communication
cites work: Reaction graph
cites work: Symmetric \(\pi\)-calculus
cites work: Linear logic
cites work: Q3824307
cites work: Symbolic bisimulations
cites work: On reduction-based process semantics
cites work: Interaction combinators
cites work: Complete inference systems for weak bisimulation equivalences in the π-calculus
cites work: Q4219039
cites work: Q3992568
cites work: Functions as processes
cites work: Q4260379
cites work: Calculi for interaction
cites work: Q4842539
cites work: A calculus of mobile processes. II
cites work: Barbed bisimulation
cites work: Algebraic theories for name-passing calculi
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Asynchronous process calculi: The first- and higher-order paradigms
cites work: From π-calculus to higher-order π-calculus — and back
cites work: The lazy lambda calculus in a concurrency scenario
cites work: \(\pi\)-calculus, internal mobility, and agent-passing calculi
cites work: A theory of bisimulation for the \(\pi\)-calculus
cites work: Q3827993
cites work: The Universe of Set Theory
cites work: Plain CHOCS. A second generation calculus for higher order processes
cites work: A theory of higher order communicating systems
cites work: Q4495851
cites work: Q4219040
cites work: π-Calculus semantics of object-oriented programming languages
cites work: Objects in the \(\pi\)-calculus
full work available at URL: s0304-3975(99)00037-7
OpenAlex ID: W2161127621
description: scientific article; zbMATH DE number 1387431