-In recent years, with the development of GPU , based on the general purpose computation on graphics processors has became a new field. Aiming at the processing of GPU, this paper provides the formal descr iption for data parallel mode, a detailed d
Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation. Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation. Symbolic bisimulation of the applied pi-calculu
On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic___ramsey___1928On a problem of formal logic_
In giving a formal semantics to a programming language we are concerned with building a mathematical model. Its purpose is to serve as a basis for understanding and reasoning about how programs behave. Not only is a mathematical model useful for var
This book describes a key technique, the Inductive Method, for proving the correctness of security protocols. It is clearly written, starting with the basic concepts of cryptography and leading to advanced matters such as smartcards and non-repudiat
Large scale ad hoc networks such as Wireless Sensor Networks are more and more deployed to ensure critical missions (such as forest fire detection, intrusion detection, etc). Critical applications require timeliness and reliability because hu- man l
