scientific article

zbMath0977.68525MaRDI QIDQ2763674

A. J. Kfoury, Torben Amtoft, 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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (10)

On abstract interpretation of mobile ambients ⋮ Hybrid logical analyses of the ambient calculus ⋮ A typed encoding of boxed into safe ambients ⋮ When ambients cannot be opened ⋮ Types for the ambient calculus ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Implementing Compositional Analysis Using Intersection Types With Expansion Variables ⋮ Typing evolving ambients ⋮ Orderly communication in the ambient calculus. ⋮ Behavioural typing for safe ambients

This page was built for publication: