MOMI: a calculus for mobile mixins (Q2576664): Difference between revisions

@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MOMI
@@ Property / describes a project that uses: MOMI / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-005-0176-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1987104718
@@ Property / OpenAlex ID: W1987104718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of mixin modules: algebraic laws and reduction semantics
+Normal rank
@@ Property / cites work @@
+Q3046754
@@ Property / cites work: Q3046754 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738173
@@ Property / cites work: Q4738173 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673425
@@ Property / cites work: Q4673425 / rank @@
+Normal rank
@@ Property / cites work @@
+Klava: a Java package for distributed and mobile applications
+Normal rank
@@ Property / cites work @@
+Q4261073
@@ Property / cites work: Q4261073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536624
@@ Property / cites work: Q4536624 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for access control
@@ Property / cites work: Types for access control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472462
@@ Property / cites work: Q4472462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223023
@@ Property / cites work: Q4223023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738342
@@ Property / cites work: Q4738342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Privacy via subsumption
@@ Property / cites work: Privacy via subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270081
@@ Property / cites work: Q4270081 / rank @@
+Normal rank