Maude: specification and programming in rewriting logic

Author： Clavel M. Duran F. Eker S. Lincoln P. Mart-Oliet N. Meseguer J. Quesada J.F.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.285, Iss.2, 2002-08, pp. : 187-243

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Specification of real-time and hybrid systems in rewriting logic

By Olveczky P.C. Meseguer J.

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 359-405

Elsevier

Access to resources Recommend Favorite

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

By Cervesato Iliano

LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. : 3-35

Springer Publishing Company

Access to resources Recommend Favorite

Bi-rewriting Rewriting Logic

By Schorlemmer W.M.

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

Elsevier

Access to resources Recommend Favorite

A Maude specification of an object-oriented model for telecommunication networks

By Pita I. Mart-Oliet N.

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 407-439

Elsevier

Access to resources Recommend Favorite

Reflection and Strategies in Rewriting Logic

By Clavel M. Meseguer J.

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

Elsevier

Access to resources Recommend Favorite