4460 search results - page 87 / 892 » Resources in process algebra |
140
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
178
click to vote
JLP
2006
15 years 6 months ago
2006
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
179
click to vote
PC
2010
15 years 4 months ago
2010
We consider the computation of shortest paths on Graphic Processing Units (GPUs). The blocked recursive elimination strategy we use is applicable to a class of algorithms (such as...
160
click to vote
ER
2000
Springer
15 years 9 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
161
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...