Title :
A Distributed Implementation for the Seal Calculus
Author :
Jing, Zhang ; Li-Cui, Zhang ; Cheng-Zhi, Jin
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., ChangChun
Abstract :
The Seal calculus is a calculus of mobile computations designed for programming secure distributed applications over large scale open networks such as the Internet. This paper presents a distributed implementation for the Seal calculus based on an abstract machine SAM, a translation from Seal terms to SAM term, a proof of the correctness of such a translation, which asserts that a Seal term and its translation exhibit the same observance behavior, and a prototype Java implementation. The implementation helps to speed up the development of programming languages based on Seal and experimentation of Seal on concrete examples
Keywords :
Internet; Java; finite automata; mobile computing; process algebra; Internet; Java; Seal calculus; abstract machine SAM; large scale open networks; mobile computations; programming language; secure distributed application; Calculus; Computer languages; Computer networks; Distributed computing; IP networks; Java; Large-scale systems; Mobile computing; Prototypes; Seals; Seal Calculus; abstract machine; distributed application; mobile computation;
Conference_Titel :
Pervasive Computing and Applications, 2006 1st International Symposium on
Conference_Location :
Urumqi
Print_ISBN :
1-4244-0326-x
Electronic_ISBN :
1-4244-0326-x
DOI :
10.1109/SPCA.2006.297596
