Towards a unified approach to encodability and separation results for process calculi
type: Item
instance of: scholarly article
title: Towards a unified approach to encodability and separation results for process calculi
zbMATH Open document ID: 1209.68336
author: Daniele Gorla
published in: Information and Computation
publication date: 2010-10-07T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5796742
zbMATH Keywords: process calculi
zbMATH Keywords: expressiveness
zbMATH Keywords: encodings
MaRDI profile type: Publication
full work available at URL: j.ic.2010.05.002
OpenAlex ID: W2060992753
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: An efficiency preorder for processes
cites work: Automata, Languages and Programming
cites work: On the expressiveness of internal mobility in name-passing calculi
cites work: Secure implementations of typed channel abstractions
cites work: Q4449170
cites work: Linearity, persistence and testing semantics in the asynchronous pi-calculus
cites work: Separation of synchronous and asynchronous communication via testing
cites work: Q4457838
cites work: Types for the ambient calculus
cites work: Mobile ambients
cites work: Embedding as a tool for language comparison
cites work: Testing equivalences for processes
cites work: Foundations of Software Science and Computation Structures
cites work: On the relative expressive power of calculi for mobility
cites work: Synchrony vs asynchrony in communication primitives
cites work: Comparing communication primitives via their relative expressive power
cites work: Towards a Unified Approach to Encodability and Separation Results for Process Calculi
cites work: Matching systems for concurrent calculi
cites work: Resource access control in systems of mobile agents
cites work: On reduction-based process semantics
cites work: A typed encoding of boxed into safe ambients
cites work: Behavioral theory for mobile ambients
cites work: Q4219055
cites work: Q3992568
cites work: Functions as processes
cites work: A calculus of mobile processes. II
cites work: What is a ``good'' encoding of guarded choice?
cites work: Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
cites work: Decoding choice encodings
cites work: Q3396569
cites work: Expressiveness of process algebras
cites work: Symmetric electoral systems for ambient calculi
cites work: Leader election in rings of ambient processes
cites work: A structural approach to operational semantics
cites work: Q4508309
cites work: Types and full abstraction for polyadic \(\pi\)-calculus
cites work: Semantic Barbs and Biorthogonality
cites work: Bisimulation for higher-order process calculi
cites work: The \(\pi\)-calculus: A theory of mobile processes
DOI: 10.1016/J.IC.2010.05.002
description: scientific article; zbMATH DE number 5796742