scientific article; zbMATH DE number 1223731
From MaRDI portal
Publication:4219047
zbMath0910.03021MaRDI QIDQ4219047
Publication date: 15 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subtypingstatic type systemdistributed \(\pi\)-calculusasynchronous \(\pi\) communicationDistributed Join Calculusinput and output capabilities of channelslocality restrictions
Related Items (15)
Towards a behavioural theory of access and mobility control in distributed systems ⋮ A theory of bisimulation for a fragment of concurrent ML with local names ⋮ Types and full abstraction for polyadic \(\pi\)-calculus ⋮ Semantic subtyping for the pi-calculus ⋮ A taxonomy of process calculi for distribution and mobility ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ A Distributed π-Calculus with Local Areas of Communication ⋮ Secrecy and group creation ⋮ A coordination approach to mobile components ⋮ Types for the ambient calculus ⋮ From rewrite rules to bisimulation congruences ⋮ Mobile ambients ⋮ The seal calculus ⋮ Static analysis for the \(\pi\)-calculus with applications to security ⋮ Assigning types to processes
This page was built for publication:
