MOMI

swMATH9432MaRDI QIDQ21415FDOQ21415

Author name not available (Why is that?)

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