Pages that link to "Item:Q5897114"
From MaRDI portal
The following pages link to Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114):
Displaying 21 items.
- KLAIM (Q21407) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Global computing in a dynamic network of tuple spaces (Q859968) (← links)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Types for access control (Q1575157) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Static analysis of topology-dependent broadcast networks (Q2266988) (← links)
- Coordinating mobile agents in interaction spaces (Q2373648) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- MOMI: a calculus for mobile mixins (Q2576664) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2848139) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- Klava: a Java package for distributed and mobile applications (Q4791126) (← links)
- A Scalable Inclusion Constraint Solver Using Unification (Q5504597) (← links)
- Coordination Models and Languages (Q5717739) (← links)
