Process algebra and non-interference

By Ryan P.Y.A.  

Journal of Computer Security, Vol. 9, Iss. 1-2, 2001-01 ,pp. : 75-103

Ios Press

Access to resources Recommend Favorite

Design of redundant robot painting system for long non-regular duct

By Chen Wenzhuo   Chen Yan   Li Bo   Zhang Weiming   Chen Ken  

Industrial Robot: An International Journal, Vol. 43, Iss. 1, 2016-01 ,pp. : 58-64

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Fast transcoding architectures for insertion of non-regular shaped objects in the compressed DCT-domain

By Roma N.   Sousa L.  

Signal Processing: Image Communication, Vol. 18, Iss. 8, 2003-09 ,pp. : 659-683

Elsevier

Access to resources Recommend Favorite

A process algebra with distributed priorities

By Cleaveland R.   Luttgen G.   Natarajan V.  

Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. : 227-258

Elsevier

Access to resources Recommend Favorite

Process algebra for performance evaluation

By Hermanns H.   Herzog U.   Katoen  

Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. : 43-87

Elsevier

Access to resources Recommend Favorite