MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Maude 2.0 System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • The Maude 2.0 system  
  • by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-oliet, José Meseguer, Carolyn Talcott — 2003 — Rewriting Techniques and Applications, Proceedings of the 14th International Conference
  • …The Maude 2.0 System ⋆ Manuel Clavel 1 , Francisco Durán 2 , Steven Eker 3 , Patrick Lincoln 3…
  • Cited by 55 (14 self) – Add To MetaCart
  • Implementing CCS in Maude 2  
  • by Alberto Verdejo, Narciso Martí-Oliet — 2002 — Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002
  • … quite general class of system modules, called admissible modules, are executable by Maude 2.0's default…
  • Cited by 18 (5 self) – Add To MetaCart
  • Equational Abstractions  
  • by José Meseguer, Miguel Palomino, Narciso Martí-Oliet — 2003
  • …. The Maude 2.0 system has an on-the- y, explicit-state LTL model checker [17] which supports the methodology…
  • Cited by 16 (9 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB