scientific article; zbMATH DE number 1361143
From MaRDI portal
Publication:4270081
zbMath0940.68024MaRDI QIDQ4270081
Nobuko Yoshida, Matthew C. B. Hennessy
Publication date: 10 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
Space-aware ambients and processes ⋮ Semantic subtyping for the pi-calculus ⋮ MOMI: a calculus for mobile mixins ⋮ Assigning types to processes ⋮ safeDpi: a language for controlling mobile code ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
This page was built for publication:
