MOMI

MaRDI QIDQ21415swMATHFDO

Official website http://link.springer.com/article/10.1007/s00236-005-0176-0

Cited in

(4)

• A Framework for Type Safe Exchange of Mobile Code
• MOMI: a calculus for mobile mixins
• A calculus of open modules: call-by-need strategy and confluence
• A parametric calculus for mobile open code

This page was built for software: MOMI