Nomadic Pict: correct communication infrastructure for mobile computation

DOI10.1145/360204.360214MaRDI QIDQ5178879zbMATH OpenOpenAlexFDO

Authors Asis Unyapoth, Peter Sewell

Publication date 17 March 2015

Published in Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/360204.360214

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1231618
• scientific article; zbMATH DE number 1696814
• A notation and logic for mobile computing
• A calculus of mobile agents
• On modelling mobility

Cited in

(11)

• Pict correctness revisited
• Formal molecular biology
• Basic observables for a calculus for global computing
• Behavioural equivalences for dynamic web data
• Explicit fusions
• The seal calculus
• On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
• Pict Correctness Revisited
• A principled exploration of coordination models
• An efficient abstract machine for safe ambients
• Using bisimulation proof techniques for the analysis of distributed abstract machines

This page was built for publication: Nomadic Pict: correct communication infrastructure for mobile computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178879)