On the public citation graph

Locality based Linda: Programming with explicit localities

https://doi.org/10.1007/bfb0030636
0 signed · 44 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-17660-8_55openalex-snapshot
SMoLCS-driven concurrent calculi
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-56596-5openalex-snapshot
Semantics: Foundations and Applications
inferredcites →https://doi.org/10.1007/3-540-56596-5_47openalex-snapshot
Some issues in the semantics of facile distributed programming
inferredcites →https://doi.org/10.1007/3-540-57182-5_48openalex-snapshot
Observing located concurrency
inferredcites →https://doi.org/10.1007/3-540-61052-9_45openalex-snapshot
A process algebra based on Linda
inferredcites →https://doi.org/10.1007/3-540-61604-7_53openalex-snapshot
On bisimulations for the asynchronous π-calculus
inferredcites →https://doi.org/10.1007/3-540-61604-7_67openalex-snapshot
A calculus of mobile agents
inferredcites →https://doi.org/10.1007/bf01491213openalex-snapshot
Facile: A symmetric integration of concurrent and functional programming
inferredcites →https://doi.org/10.1007/bfb0026561openalex-snapshot
Theory and Practice of Parallel Programming
inferredcites →https://doi.org/10.1007/bfb0026570openalex-snapshot
Concurrent objects in a process calculus
inferredcites →https://doi.org/10.1007/s002360050086openalex-snapshot
Locality based semantics for process algebras
inferredcites →https://doi.org/10.1016/0304-3975(92)90185-iopenalex-snapshot
The chemical abstract machine
inferredcites →https://doi.org/10.1016/0304-3975(93)90152-jopenalex-snapshot
Observing localities
inferredcites →https://doi.org/10.1016/0304-3975(94)00172-fopenalex-snapshot
Symbolic bisimulations
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1016/0890-5401(92)90009-5openalex-snapshot
A calculus of mobile processes, II
inferredcites →https://doi.org/10.1145/199448.199516openalex-snapshot
A language with distributed scope
inferredcites →https://doi.org/10.1145/2363.2433openalex-snapshot
Generative communication in Linda
inferredcites →https://doi.org/10.1145/242224.242430openalex-snapshot
Global computation
inferredcites →https://doi.org/10.1145/63334.63337openalex-snapshot
Linda in context

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-36103-0_17openalex-snapshot
An Overview of Mobile Object-Z
inferred← citeshttps://doi.org/10.1007/3-540-45608-2_5openalex-snapshot
Notes on Nominal Calculi for Security and Mobility
inferred← citeshttps://doi.org/10.1007/3-540-47959-7_3openalex-snapshot
Seal: A Framework for Secure Mobile Computations
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_4openalex-snapshot
Abstractions for Mobile Computation
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_18openalex-snapshot
An Ada95 Implementation of a Network Coordination Language with Code Mobility
inferred← citeshttps://doi.org/10.1007/3-540-63383-9_83openalex-snapshot
Coordinating mobile agents via blackboards and access rights
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_8openalex-snapshot
X-Klaim Is Back
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_13openalex-snapshot
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_3openalex-snapshot
Klaim in the Making
inferred← citeshttps://doi.org/10.1007/978-3-031-75434-0_26openalex-snapshot
Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa
inferred← citeshttps://doi.org/10.1007/978-3-540-30121-9_46openalex-snapshot
Actors for Mobile Ad-Hoc Networks
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-540-68679-8_47openalex-snapshot
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
inferred← citeshttps://doi.org/10.1007/bfb0014554openalex-snapshot
Some results in the join-calculus
inferred← citeshttps://doi.org/10.1007/bfb0053547openalex-snapshot
Mobile ambients
inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50033-3openalex-snapshot
Process Algebras with Localities
inferred← citeshttps://doi.org/10.1016/j.ic.2004.11.005openalex-snapshot
The Seal Calculus
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00231-5openalex-snapshot
Mobile ambients
inferred← citeshttps://doi.org/10.1023/a:1019219916118openalex-snapshot
A survey of theories for mobile agents
inferred← citeshttps://doi.org/10.1109/32.685256openalex-snapshot
KLAIM: a kernel language for agents interaction and mobility
inferred← citeshttps://doi.org/10.1109/enabl.1998.725680openalex-snapshot
Interactive mobile agents in X-KLAIM
inferred← citeshttps://doi.org/10.48456/tr-514openalex-snapshot
Nomadic π-calculi: expressing and verifying communication infrastructure for mobile computation
inferred← citeshttps://doi.org/10.5204/mcj.238openalex-snapshot
The Ambience of Ambience
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.