The name discipline of uniform receptiveness (extended abstract)

DOI10.1007/3-540-63165-8_187zbMath1401.68234OpenAlexW1535553381MaRDI QIDQ4571962

Davide Sangiorgi

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_187

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A Distributed π-Calculus with Local Areas of Communication ⋮ A process-calculus analysis of concurrent operations on B-trees

Cites Work

• Unnamed Item
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. I
• An interpretation of typed objects into typed \(\pi\)-calculus
• Plain CHOCS. A second generation calculus for higher order processes
• Functions as processes
• Constraining interference in an object-based design method
• Behavioral equivalence in the polymorphic pi-calculus

This page was built for publication: The name discipline of uniform receptiveness (extended abstract)