34 search results - page 1 / 7 » maude 2007 |
CALCO
2007
Springer
13 years 10 months ago
2007
Springer
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
MAUDE
2007
Springer
13 years 10 months ago
2007
Springer
MAUDE
2007
Springer
13 years 10 months ago
2007
Springer
LTCONF
2007
Springer
13 years 10 months ago
2007
Springer
ENTCS
2007
13 years 4 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...