Algebraic specification of documents

By Ramalho J.C.   Almeida J.J.   Henriques P.  

Theoretical Computer Science, Vol. 199, Iss. 1, 1998-06 ,pp. : 231-247

Elsevier

Access to resources Recommend Favorite

Algebraic specification of reactive systems

By Broy M.  

Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. : 3-40

Elsevier

Access to resources Recommend Favorite

Topological methods for algebraic specification

By Meinke K.  

Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. : 263-290

Elsevier

Access to resources Recommend Favorite

Foundations for the integration of scheduling techniques into compilers for parallel languages

By Zimmermann Wolf   Lowe Welf  

International Journal of Computational Science and Engineering, Vol. 1, Iss. 2-4, 2006-05 ,pp. : 99-109

Inderscience Publishers

Access to resources Recommend Favorite

CASL: the Common Algebraic Specification Language

By Astesiano E.   Bidoit M.   Kirchner H.   Krieg-Bruckner B.   Mosses P.D.   Sannella D.   Tarlecki A.  

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 153-196

Elsevier

Access to resources Recommend Favorite