950 search results - page 6 / 190 » Process Algebra in PVS |
CISC
2009
Springer
13 years 5 months ago
2009
Springer
In [10], Buchmann, Pyshkin and Weinmann have described two families of Feistel and SPN block ciphers called Flurry and Curry respectively. These two families of ciphers are fully p...
EEF
2000
13 years 11 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
IMECS
2007
13 years 9 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
NDJFL
1998
13 years 7 months ago
1998
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi