scientific article; zbMATH DE number 1927568

zbMATH Open1012.68519MaRDI QIDQ4484493FDOQ4484493

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

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

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

Mathematics Subject Classification ID

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

Cited In (16)

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

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)