On the Symbolic Reduction of Processes with Cryptographic Functions

By Amadio R.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 1, 2004-01 ,pp. : 1-2

Elsevier

Access to resources Recommend Favorite

On the symbolic reduction of processes with cryptographic functions

By Amadio R.M.   Lugiez D.   Vanackere V.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 695-740

Elsevier

Access to resources Recommend Favorite

Modular construction of model partitioning processes for parallel logic simulation

By Hering Klaus   Runger Gudula   Trautmann Sven  

International Journal of Computational Science and Engineering, Vol. 1, Iss. 1, 2006-02 ,pp. : 22-33

Inderscience Publishers

Access to resources Recommend Favorite

A Hoare logic for dynamic networks of asynchronously communicating deterministic processes

By de Boer F.S.  

Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. : 3-41

Elsevier

Access to resources Recommend Favorite

Optical fuzzy logic systems in problems of adaptive simulation of weakly formalized processes

By Kovalev S.   Kureichik V.   Sokolov S.  

Journal of Computer and Systems Sciences International, Vol. 50, Iss. 3, 2011-06 ,pp. : 462-471

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite