MOMI: a calculus for mobile mixins
From MaRDI portal
Publication:2576664
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
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
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