The seal calculus

DOI10.1016/J.IC.2004.11.005zbMath1101.68060OpenAlexW1999770529MaRDI QIDQ2566220

Giuseppe Castagna, F. Zappa Nardelli, Jan Vitek

Publication date: 22 September 2005

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2004.11.005

zbMATH Keywords

higher-order communicationagent mobility

Mathematics Subject Classification ID

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

Related Items (21)

Howe’s Method for Calculi with Passivation ⋮ Basic observables for a calculus for global computing ⋮ Distinguishing and relating higher-order and first-order processes by expressiveness ⋮ Unnamed Item ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Security types for dynamic web data ⋮ Types for Role-Based Access Control of Dynamic Web Data ⋮ Tutorial on separation results in process calculi via leader election problems ⋮ Symmetric electoral systems for ambient calculi ⋮ From flow logic to static type systems for coordination languages ⋮ Boxed ambients with communication interfaces ⋮ Security Types for Dynamic Web Data ⋮ Normal Bisimulations in Calculi with Passivation ⋮ Multiple-Labelled Transition Systems for nominal calculi and their logics ⋮ The Conversation Calculus: A Model of Service-Oriented Computation ⋮ On primitives for compensation handling as adaptable processes ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ Communication and mobility control in boxed ambients ⋮ On an open problem of Amadio and Curien: The finite antichain condition ⋮ safeDpi: a language for controlling mobile code

Uses Software

• SafeDpi
• Linda
• PLAN

Cites Work

• Bisimulation for higher-order process calculi
• A calculus of mobile processes. II
• Plain CHOCS. A second generation calculus for higher order processes
• On reduction-based process semantics
• Mobile ambients
• Resource access control in systems of mobile agents
• Assigning types to processes
• safeDpi: a language for controlling mobile code
• Equational properties of mobile ambients
• Controlling interference in ambients
• Extensionality and intensionality of the ambient logics
• Nomadic pict
• Secure safe ambients
• Bisimulation congruences in safe ambients
• Generative communication in Linda
• Barbed bisimulation
• PLAN
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Distributed processes and location failures
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The seal calculus