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

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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