scientific article
From MaRDI portal
Publication:2754161
zbMath0973.68519MaRDI QIDQ2754161
James Riely, Matthew C. B. Hennessy
Publication date: 9 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)
Related Items (12)
Secrecy types for asymmetric communication. ⋮ A generic type system for the pi-calculus ⋮ Persistent Stochastic Non-Interference ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ May Testing, Non-interference, and Compositionality ⋮ Analysing input/output-capabilities of mobile processes with a generic type system ⋮ Linearity and bisimulation ⋮ Assigning types to processes ⋮ Type-based information flow analysis for the \(\pi\)-calculus ⋮ Secured Information Flow for Asynchronous Sequential Processes ⋮ Noninterference for concurrent programs and thread systems ⋮ Security boundaries in mobile ambients
This page was built for publication:
