scientific article; zbMATH DE number 1927568

MaRDI QIDQ4484493zbMATH OpenFDO

Authors Jens Chr. Godskesen, Vladimiro Sassone, Thomas Hildebrandt

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210272.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2247716
• Types for access control in a calculus of mobile resources
• The seal calculus
• A coordination approach to mobile components
• A calculus of mobile processes. I

Cited in

(16)

• Mark, a reasoning kit for mobility
• A calculus and logic of resources and processes
• scientific article; zbMATH DE number 2163049 (Why is no real title available?)
• The seal calculus
• Types for access control in a calculus of mobile resources
• More on bisimulations for higher order \(\pi\)-calculus
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Locating reaction with 2-categories
• A logical and computational theory of located resource
• scientific article; zbMATH DE number 2247716 (Why is no real title available?)
• Modelling dynamic web data
• Space-aware ambients and processes
• A CPS encoding of name-passing in higher-order mobile embedded resources
• A semantic theory of the Internet of Things
• A parametric calculus for mobile open code
• Active evaluation contexts for reaction semantics

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