MOMI: a calculus for mobile mixins

DOI10.1007/s00236-005-0176-0zbMath1079.68002OpenAlexW1987104718MaRDI QIDQ2576664

Betti Venneri, Lorenzo Bettini, Viviana Bono

Publication date: 14 December 2005

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-005-0176-0

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Related Items

A calculus of open modules: call-by-need strategy and confluence, A Framework for Type Safe Exchange of Mobile Code, A Parametric Calculus for Mobile Open Code

Uses Software

• Klava
• KLAIM
• Linda
• MOMI

Cites Work

• Types for access control
• Privacy via subsumption
• A theory of mixin modules: algebraic laws and reduction semantics
• Klava: a Java package for distributed and mobile applications
• Generative communication in Linda
• Types for Proofs and Programs
• Coordination Models and Languages
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item