scientific article; zbMATH DE number 1231689
From MaRDI portal
Publication:4223018
zbMath0917.68047MaRDI QIDQ4223018
Matthew C. B. Hennessy, James Riely
Publication date: 10 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=3#16.3.003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
A theory of bisimulation for a fragment of concurrent ML with local names ⋮ Typing correspondence assertions for communication protocols ⋮ A model checking-based approach for security policy verification of mobile systems ⋮ On Mobility and Communication ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ A Distributed π-Calculus with Local Areas of Communication ⋮ A process calculus for mobile ad hoc networks ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ Abstract interpretation of mobile systems ⋮ From rewrite rules to bisimulation congruences ⋮ Distributed processes and location failures ⋮ On modelling mobility ⋮ Types for access control ⋮ On the Expressive Power of Polyadic Synchronisation in π-calculus ⋮ Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus ⋮ The seal calculus ⋮ Resource access control in systems of mobile agents
This page was built for publication:
