On the public citation graph
Klava: a Java package for distributed and mobile applications
0 signed · 109 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-44751-2openalex-snapshot
Cooperative Information Systems
inferredcites →https://doi.org/10.1007/3-540-45263-x_5openalex-snapshot
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
inferredcites →https://doi.org/10.1007/3-540-45647-3_13openalex-snapshot
Translating Strong Mobility into Weak Mobility
inferredcites →https://doi.org/10.1007/3-540-46000-4_9openalex-snapshot
Formalizing Properties of Mobile Agent Systems
inferredcites →https://doi.org/10.1007/3-540-48749-2_6openalex-snapshot
Types as Specifications of Access Policies
inferredcites →https://doi.org/10.1007/3-540-48919-3_3openalex-snapshot
A Coordination Model for Agents based on Secure Spaces
inferredcites →https://doi.org/10.1007/3-540-51285-3_30openalex-snapshot
Multiple tuple spaces in Linda
inferredcites →https://doi.org/10.1007/3-540-61626-8_69openalex-snapshot
An efficient distributed tuple space implementation for networks of workstations
inferredcites →https://doi.org/10.1007/3-540-62803-7_23openalex-snapshot
The architecture of the ara platform for mobile agents
inferredcites →https://doi.org/10.1007/3-540-62852-5_10openalex-snapshot
Sumatra: A language for resource-aware mobile programs
inferredcites →https://doi.org/10.1007/3-540-62852-5_16openalex-snapshot
Jada: Coordination and communication for Java agents
inferredcites →https://doi.org/10.1007/3-540-62852-5_4openalex-snapshot
Mobile agents: Are they a good idea?
inferredcites →https://doi.org/10.1007/3-540-62852-5_9openalex-snapshot
Analyzing mobile code languages
inferredcites →https://doi.org/10.1007/978-0-387-35188-9_22openalex-snapshot
Limbo: A tuple space based platform for adaptive mobile applications
inferredcites →https://doi.org/10.1007/978-0-387-35608-2_35openalex-snapshot
TQL Algebra and Its Implementation
inferredcites →https://doi.org/10.1007/978-3-8348-9854-8_25openalex-snapshot
Remote Method Invocation
inferredcites →https://doi.org/10.1007/bfb0057656openalex-snapshot
μCode: A lightweight and flexible mobile code toolkit
inferredcites →https://doi.org/10.1007/bfb0057663openalex-snapshot
Reactive tuple spaces for mobile agent coordination
inferredcites →https://doi.org/10.1016/s0167-6423(02)00090-4openalex-snapshot
Coordinating processes with secure spaces
inferredcites →https://doi.org/10.1016/s0304-3975(99)00232-7openalex-snapshot
Types for access control
inferredcites →https://doi.org/10.1016/s1571-0661(04)00237-3openalex-snapshot
Modelling Node Connectivity in Dynamically Evolving Networks
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1108/k.2000.06729aae.002openalex-snapshot
JavaSpaces Principles, Patterns and Practice
inferredcites →https://doi.org/10.1108/k.2000.06729aae.004openalex-snapshot
Inside Java™ Platform Security: Architecture API Design and Implementation
inferredcites →https://doi.org/10.1109/32.685256openalex-snapshot
KLAIM: a kernel language for agents interaction and mobility
inferredcites →https://doi.org/10.1109/enabl.1998.725680openalex-snapshot
Interactive mobile agents in X-KLAIM
inferredcites →https://doi.org/10.1109/isads.2001.917429openalex-snapshot
Mobile agent messaging models
inferredcites →https://doi.org/10.1109/tools.2000.848748openalex-snapshot
Pickling threads state in the Java system
inferredcites →https://doi.org/10.1109/tools.2001.911750openalex-snapshot
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 38
inferredcites →https://doi.org/10.1145/253228.253236openalex-snapshot
Designing distributed applications with mobile code paradigms
inferredcites →https://doi.org/10.1145/262009.262010openalex-snapshot
Programming languages for mobile code
inferredcites →https://doi.org/10.1145/350887.350893openalex-snapshot
Using a coordination language to specify and analyze systems containing mobile components
inferredcites →https://doi.org/10.1145/508791.508862openalex-snapshot
An infrastructure language for open nets
inferredcites →https://doi.org/10.1145/72551.72553openalex-snapshot
How to write parallel programs: a guide to the perplexed
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.842openalex-snapshot
A programming language for service‐oriented computing with mobile agents
inferred← citeshttps://doi.org/10.1007/0-387-23152-8_2openalex-snapshot
A Multi-Agent System for Mobile Environments
inferred← citeshttps://doi.org/10.1007/11419822_2openalex-snapshot
Mobile Distributed Programming in X-Klaim
inferred← citeshttps://doi.org/10.1007/11494881_1openalex-snapshot
Pattern Matching over a Dynamic Network of Tuple Spaces
inferred← citeshttps://doi.org/10.1007/11498094_17openalex-snapshot
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
inferred← citeshttps://doi.org/10.1007/11523468_99openalex-snapshot
Basic Observables for a Calculus for Global Computing
inferred← citeshttps://doi.org/10.1007/11560647_3openalex-snapshot
Languages and Process Calculi for Network Aware Programming – Short Summary -
inferred← citeshttps://doi.org/10.1007/3-540-36520-6_16openalex-snapshot
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
inferred← citeshttps://doi.org/10.1007/3-540-45061-0_11openalex-snapshot
Resource Access and Mobility Control with Dynamic Privileges Acquisition
inferred← citeshttps://doi.org/10.1007/3-540-45068-8_6openalex-snapshot
Mob: A Scripting Language for Mobile Agents Based on a Process Calculus
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_20openalex-snapshot
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_24openalex-snapshot
Revealing the Trajectories of KLAIM Tuples, Statically
inferred← citeshttps://doi.org/10.1007/978-3-030-61470-6_22openalex-snapshot
Writing Robotics Applications with X-Klaim
inferred← citeshttps://doi.org/10.1007/978-3-030-89247-0_2openalex-snapshot
Automated Replication of Tuple Spaces via Static Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-19759-8_18openalex-snapshot
Programming Multi-robot Systems with X-KLAIM
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_23openalex-snapshot
Local Spaces in Soft Concurrent Constraint Programming Oriented to Security
inferred← citeshttps://doi.org/10.1007/978-3-319-19282-6_1openalex-snapshot
Replica-Based High-Performance Tuple Space Computing
inferred← citeshttps://doi.org/10.1007/978-3-319-66379-1_9openalex-snapshot
Programming the Interaction Space Effectively with $$\texttt {ReSpecT}\mathbb {X}$$
inferred← citeshttps://doi.org/10.1007/978-3-319-92408-3_5openalex-snapshot
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-24634-3_17openalex-snapshot
CoorSet: A Development Environment for Associatively Coordinated Components
inferred← citeshttps://doi.org/10.1007/978-3-540-24634-3_5openalex-snapshot
O’Klaim: A Coordination Language with Mobile Mixins
inferred← citeshttps://doi.org/10.1007/978-3-540-24639-8_2openalex-snapshot
A Java Package for Class and Mixin Mobility in a Distributed Setting
inferred← citeshttps://doi.org/10.1007/978-3-540-31794-4_10openalex-snapshot
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
inferred← citeshttps://doi.org/10.1007/978-3-540-31869-9_11openalex-snapshot
A Java Package for Transparent Code Mobility
inferred← citeshttps://doi.org/10.1007/978-3-540-40042-4_4openalex-snapshot
The Klaim Project: Theory and Practice
inferred← citeshttps://doi.org/10.1007/978-3-642-15240-5_18openalex-snapshot
Concurrent Pattern Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-21464-6_14openalex-snapshot
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
inferred← citeshttps://doi.org/10.1007/978-3-642-30065-3_10openalex-snapshot
Orchestrating Tuple-Based Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-30829-1_15openalex-snapshot
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-34281-3_7openalex-snapshot
Towards a Formal Verification Methodology for Collective Robotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38323-6_17openalex-snapshot
Network-Aware Evaluation Environment for Reputation Systems
inferred← citeshttps://doi.org/10.1007/s00236-005-0176-0openalex-snapshot
MOMI: a calculus for mobile mixins
inferred← citeshttps://doi.org/10.1007/s10009-023-00727-wopenalex-snapshot
Coordinating and programming multiple ROS-based robots with X-KLAIM
inferred← citeshttps://doi.org/10.1007/s10009-025-00832-yopenalex-snapshot
Translating BPMN models into X-Klaim programs for developing multi-robot missions
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.11.032openalex-snapshot
On the Expressive Power of Klaim-based Calculi
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.11.038openalex-snapshot
Data Privacy in Tuple Space Based Mobile Agent Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.06.031openalex-snapshot
Modelling the GSM Handover Protocol in CommUnity
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.110openalex-snapshot
From Process Calculi to Klaim and Back
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.01.054openalex-snapshot
Implementing a Distributed Mobile Calculus Using the IMC Framework
inferred← citeshttps://doi.org/10.1016/j.ins.2005.11.006openalex-snapshot
A rule based knowledge transaction model for mobile environments
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.09.003openalex-snapshot
Causal-consistent rollback in a tuple-based language
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.100511openalex-snapshot
A formal approach to the engineering of domain-specific distributed systems
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.12.001openalex-snapshot
Dynamic management of capabilities in a network aware coordination language
inferred← citeshttps://doi.org/10.1016/j.scico.2012.05.008openalex-snapshot
Predictive access control for distributed computation
inferred← citeshttps://doi.org/10.1016/j.scico.2014.10.001openalex-snapshot
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
inferred← citeshttps://doi.org/10.1016/j.scico.2022.102863openalex-snapshot
Automated replication of tuple spaces via static analysis
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.02.007openalex-snapshot
On the expressive power of KLAIM-based calculi
inferred← citeshttps://doi.org/10.1017/s0960129504004165openalex-snapshot
MetaKlaim: a type safe multi-stage language for global computing
inferred← citeshttps://doi.org/10.1023/b:ause.0000028536.34044.47openalex-snapshot
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
inferred← citeshttps://doi.org/10.1080/19648189.2009.9693140openalex-snapshot
Editorial Board Members
inferred← citeshttps://doi.org/10.1098/rsta.2008.0148openalex-snapshot
Modelling global computations with Klaim
inferred← citeshttps://doi.org/10.1109/cts.2009.5067492openalex-snapshot
JGroupSpace: Combining shared spaces and groups
inferred← citeshttps://doi.org/10.1109/hicss.2005.366openalex-snapshot
Java Architectures for Mobilised Enterprise Systems
inferred← citeshttps://doi.org/10.1109/pdp.2015.98openalex-snapshot
Causal-Consistent Reversibility in a Tuple-Based Language
inferred← citeshttps://doi.org/10.1145/2432546.2432548openalex-snapshot
Modeling adaptation with Klaim
inferred← citeshttps://doi.org/10.1145/2480362.2480618openalex-snapshot
Specifying and analysing reputation systems with a coordination language
inferred← citeshttps://doi.org/10.12694/scpe.v7i4.384openalex-snapshot
Implementing Mobile and Distributed Applications in X-Klaim
inferred← citeshttps://doi.org/10.13118/celestini-alessandro_phd2013openalex-snapshot
On the analysis and evaluation of trust and reputation systems
inferred← citeshttps://doi.org/10.2168/lmcs-10(3:10)2014openalex-snapshot
A Concurrent Pattern Calculus
inferred← citeshttps://doi.org/10.2298/csis180111031copenalex-snapshot
ReSpecTX: Programming interaction made easy
inferred← citeshttps://doi.org/10.4018/978-1-61520-655-1.ch028openalex-snapshot
Knowledge Transactions in Mobile Environments
inferred← citeshttps://doi.org/10.48550/arxiv.1201.4262openalex-snapshot
Secondary use of data in EHR systems
inferred← citeshttps://doi.org/10.5281/zenodo.195390openalex-snapshot
FIGURES 51–58. Mesotritia okuyamai Aoki, 1980 in A review of Mesotritia (Acari: Oribatida: Oribotritiidae) in China, with descriptions of two new species and a checklist of known taxa
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.