Principles of Maude

Author： Clavel M.   Eker S.   Lincoln P.   Meseguer J.  

Publisher： Elsevier

ISSN： 1571-0661

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

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

Maude: specification and programming in rewriting logic

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

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

Elsevier

Access to resources Recommend Favorite

Semantics and pragmatics of Real-Time Maude

By Ölveczky Peter  

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

Springer Publishing Company

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

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS

By Verdejo Alberto   Martí-Oliet Narciso  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 113-172

Springer Publishing Company

Access to resources Recommend Favorite

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

By Ölveczky Peter   Meseguer José   Talcott Carolyn  

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 253-293

Springer Publishing Company

Access to resources Recommend Favorite