Jin Cheng-Zhi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1