The following pages link to KLAIM (Q21407):
Displayed 50 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- A language-based approach to modelling and analysis of Twitter interactions (Q511939) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Global computing in a dynamic network of tuple spaces (Q859968) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- Security types for dynamic web data (Q935467) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Event based choreography (Q988170) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- M-nets: a survey (Q1006339) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Resource access control in systems of mobile agents (Q1854507) (← links)
- Assigning types to processes (Q1854525) (← links)
- A performance-based methodology to early evaluate the effectiveness of mobile software architectures (Q1858429) (← links)
- From distributed coordination to field calculus and aggregate computing (Q2011213) (← links)
- A calculus for attribute-based memory updates (Q2119988) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Linear forwarders (Q2384926) (← links)
- A process algebraic view of shared dataspace coordination (Q2474048) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- MOMI: a calculus for mobile mixins (Q2576664) (← links)
- Quantitative information in the tuple space coordination model (Q2576948) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
- (Q2847797) (← links)
- (Q2848139) (← links)
- Structuring Operational Semantics: Simplification and Computation (Q2864160) (← links)
- Comparing Three Coordination Models: Reo, ARC, and RRD (Q2866318) (← links)
- Model Checking Spatial Logics for Closure Spaces (Q2974786) (← links)
- (Q2980974) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Secure Guarded Commands (Q3297842) (← links)
- Timed soft concurrent constraint programs: An interleaved and a parallel approach (Q4593013) (← links)