scientific article; zbMATH DE number 1512630

zbMATH Open0961.68094MaRDI QIDQ4508315FDOQ4508315

Authors: Pascal Zimmer 

Publication date: 3 October 2000

Title of this publication is not available (Why is that?)

Recommendations

• Flow-sensitive type systems and the ambient calculus
• M\(^3\): mobility types for mobile processes in mobile ambients
• Orderly communication in the ambient calculus.
• scientific article; zbMATH DE number 1927570
• scientific article; zbMATH DE number 2163047

zbMATH Keywords

type-checking algorithmambient calculus

Mathematics Subject Classification ID

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

Cited In (16)

• M\(^3\): mobility types for mobile processes in mobile ambients
• Orderly communication in the ambient calculus.
• Types for the ambient calculus
• A typed encoding of boxed into safe ambients
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Flow-sensitive type systems and the ambient calculus
• Typing evolving ambients
• Title not available (Why is that?)
• Types for ambient and process mobility
• Title not available (Why is that?)
• Type assignement for mobile objects
• A type inference algorithm for secure ambients
• Typed mobile ambients in Maude
• Two Session Typing Systems for Higher-Order Mobile Processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508315)