On reduction-based process semantics

By Honda K.   Yoshida N.  

Theoretical Computer Science, Vol. 151, Iss. 2, 1995-11 ,pp. : 437-486

Elsevier

Access to resources Recommend Favorite

Semantics-based representation of virtual environments

By Gutierrez Mario   Vexo Frederic   Thalmann Daniel  

International Journal of Computer Applications in Technology, Vol. 23, Iss. 2-3, 2005-03 ,pp. : 229-238

Inderscience Publishers

Access to resources Recommend Favorite

Computing transitive closures of hedge transformations

By Touili Tayssir  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 132-150

Inderscience Publishers

Access to resources Recommend Favorite

High-level robot programming based on CAD: dealing with unpredictable environments

By Neto Pedro   Mendes Nuno   Araújo Ricardo   Pires J. Norberto   Moreira A. Paulo  

Industrial Robot: An International Journal, Vol. 39, Iss. 3, 2012-04 ,pp. : 294-303

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Stack inspection and secure program transformations

By Bartoletti Massimo   Degano Pierpaolo   Ferrari Gian Luigi  

International Journal of Information Security (IJIS), Vol. 2, Iss. 3-4, 2004-08 ,pp. : 187-217

Springer Publishing Company

Access to resources Recommend Favorite