maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] begining mobile maude

From: Francisco Durán <duran AT lcc.uma.es>
To: fayza bouchoul <fbouchoul AT gmail.com>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] begining mobile maude
Date: Tue, 25 Jan 2011 09:28:40 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear Fayza,

The most recent one is http://maude.sip.ucm.es/mobilemaude/. It includes the original proposal described in the other site and some later related contributions and extensions, including a real distributed implementation.

I 'd say that the information in the site is enough to install and use Mobile Maude, assuming that you are already familiar with Maude.

Cheers,

Francisco Duran

El 23/01/2011, a las 23:45, fayza bouchoul escribió:

Hi,

I am a beginner in maude I have installed maude under eclipse
I want to use mobile maude, I found two sites

http://www.csl.sri.com/projects/mobile-maude/

http://maude.sip.ucm.es/mobilemaude/

which one presents the last release ?
can you explain me step by step how can I install and use mobile maude ?

thanks
--
Fayza Bouchoul

UFAS

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

[Maude-help] begining mobile maude, fayza bouchoul, 01/23/2011
- Re: [Maude-help] begining mobile maude, Francisco Durán, 01/25/2011