Games for the -calculus

By Niwinski D.   Walukiewicz I.  

Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. : 99-116

Elsevier

Access to resources Recommend Favorite

Robots at the heart of Schubert packaging machinery lead to great flexibility

By Connolly Christine  

Industrial Robot: An International Journal, Vol. 34, Iss. 4, 2007-06 ,pp. : 277-280

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

SP, a Package for Schubert Polynomials Realized with the Computer Algebra System MAPLE

By Veigneau S.  

Journal of Symbolic Computation, Vol. 23, Iss. 4, 1997-04 ,pp. : 413-425

Academic Press

Access to resources Recommend Favorite

On the decidability of fragments of the asynchronous -calculus

By Amadio R.M.   Meyssonnier C.  

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

Elsevier

Access to resources Recommend Favorite

Orderly communication in the Ambient Calculus

By Amtoft T.   Kfoury A.J.   Pericas-Geertsen S.M.  

Computer Languages, Vol. 28, Iss. 1, 2002-04 ,pp. : 29-60

Elsevier

Access to resources Recommend Favorite