maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] SEM specifications in Maude.

From: Brian Rice <briantrice AT gmail.com>
To: Emmanuel Castro <emmanuel.castro AT laposte.net>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] SEM specifications in Maude.
Date: Tue, 5 Oct 2010 16:07:46 -0700
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

I was also curious but hoping it would be voluntarily explained.

On Tue, Oct 5, 2010 at 2:30 PM, Emmanuel Castro <emmanuel.castro AT laposte.net> wrote:

Sorry to show my ignorance, but what is SEM?
_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

--
-Brian T. Rice

[Maude-help] SEM specifications in Maude., Emmanuel Castro, 10/05/2010
- Re: [Maude-help] SEM specifications in Maude., Brian Rice, 10/05/2010
  - Re: [Maude-help] SEM specifications in Maude., Patrick Browne, 10/06/2010