5 papers:
WRLA-2012-WirsingEMM #analysis #architecture #design #maude- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.
SFM-2005-BettiniN #distributed #mobile #programming- Mobile Distributed Programming in X-Klaim (LB, RDN), pp. 29–68.
SAC-2005-NicolaLM #analysis #formal method #mobile #modelling- Formal modeling and quantitative analysis of KLAIM-based mobile systems (RDN, DL, MM), pp. 428–435.
SAIG-2001-FerrariMP #metaprogramming #named- MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
- SAC-2000-BettiniLP
- Structured Nets in KLAIM (LB, ML, RP), pp. 174–180.
