Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Jeff,

You are right, there seem to be several web sites related to mobile  
maude with different versions of the specification files.

I'm afraid there is no such a "mobile maude web site". http://www.csl.sri.com/projects/mobile-maude/ 
 reflects the state of the work at 2000 (ASA/MA paper), http://maude.sip.ucm.es/mobilemaude/ 
  at 2006 (WRLA'08 paper), and the maude book at 2007.

I should try to set up a web site for it with the other pages just  
pointing to it, but since the project finished and we never got  
support to continue it this never happened.

In the meanwhile, I would suggest using the files in the Maude book.

Cheers,

Paco


El 25/05/2009, a las 3:20, Jeff Thompson escribió:

> The file "mobile-maude.maude" and examples at the Mobile Maude  
> website http://maude.sip.ucm.es/mobilemaude/ seem to be different  
> than the one distributed with the Maude book. Is the file on the web  
> site older than the one from the book, and if so will it be updated?
>
> Also, the first Google hit for "mobile maude" turns up a page at SRI http://www.csl.sri.com/projects/mobile-maude/ 
>  with yet another "mobile-maude.maude" which seems even older. If  
> the SRI page is outdated, you may want to get someone to update it  
> or point it to the correct site to avoid confusion (since Google  
> seems to think it is the primary site).
>
> Thank you,
> - Jeff
>
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help