scientific article; zbMATH DE number 1692941

MaRDI QIDQ2763674zbMATH OpenFDO

Authors Torben Amtoft, Assaf Kfoury, Santiago M. Pericás-Geertsen

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280206

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Orderly communication in the ambient calculus.
• scientific article; zbMATH DE number 2163048
• Flow-sensitive type systems and the ambient calculus
• Programming Languages and Systems
• Processes, Terms and Cycles: Steps on the Road to Infinity

Cited in

(15)

• Flow-sensitive type systems and the ambient calculus
• Typing evolving ambients
• When ambients cannot be opened
• Orderly communication in the ambient calculus.
• Behavioural typing for safe ambients
• On abstract interpretation of mobile ambients
• A typed encoding of boxed into safe ambients
• Types for the ambient calculus
• Implementing compositional analysis using intersection types with expansion variables
• scientific article; zbMATH DE number 2163048 (Why is no real title available?)
• Programming Languages and Systems
• Ambient calculi with types: A tutorial
• Processes, Terms and Cycles: Steps on the Road to Infinity
• A polymorphic environment calculus and its type-inference algorithm
• Hybrid logical analyses of the ambient calculus

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 Q2763674)