×

zbMATH — the first resource for mathematics

Confining data and processes in global computing applications. (English) Zbl 1137.68333

MSC:
68N15 Theory of programming languages
68Q55 Semantics in the theory of computing
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDF BibTeX XML Cite
Full Text: DOI