Types for Access Control in a Calculus of Mobile Resources

DOI10.1016/J.ENTCS.2005.05.044zbMath1277.68191OpenAlexW2079744090MaRDI QIDQ2864387

Morten Kühnrich, Hans Hüttel

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2005.05.044

zbMATH Keywords

typesmobilitytype inferenceaccess controlprocess calculus

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Types for Access Control in a Calculus of Mobile Resources