34 search results - page 1 / 7 » maude 2007 |
CALCO
2007
Springer
14 years 1 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
14 years 1 months ago
2007
Springer
MAUDE
2007
Springer
14 years 1 months ago
2007
Springer
LTCONF
2007
Springer
14 years 1 months ago
2007
Springer
ENTCS
2007
13 years 7 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 ...