On the public citation graph
Mobile ambients
0 signed · 467 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-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-63383-9_92openalex-snapshot
An asynchronous model of locality, failure, and process mobility
inferredcites →https://doi.org/10.1007/bfb0030636openalex-snapshot
Locality based Linda: Programming with explicit localities
inferredcites →https://doi.org/10.1007/bfb0057019openalex-snapshot
An object calculus for asynchronous communication
inferredcites →https://doi.org/10.1016/0304-3975(92)90185-iopenalex-snapshot
The chemical abstract machine
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1145/237721.237805openalex-snapshot
The reflexive CHAM and the join-calculus
inferredcites →https://doi.org/10.1145/266420.266432openalex-snapshot
A calculus for cryptographic protocols
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119329954.ch7openalex-snapshot
Verification and Configuration of Smart Space Applications
inferred← citeshttps://doi.org/10.1002/9781119716600.ch4openalex-snapshot
The Rule‐Based Model Approach:A Kappa Model for Hepatic Stellate Cells Activation by TGFB1
inferred← citeshttps://doi.org/10.1002/9781394229086.ch9openalex-snapshot
Accessible Pattern Analyses in Kappa Models
inferred← citeshttps://doi.org/10.1002/cpe.1287openalex-snapshot
State of the art in heterogeneous strong migration of computations
inferred← citeshttps://doi.org/10.1002/ecja.20184openalex-snapshot
A message delivery method for highly mobile agents based on clustering
inferred← citeshttps://doi.org/10.1002/scj.20624openalex-snapshot
A hierarchical mobile agent framework and its application to multimedia contents
inferred← citeshttps://doi.org/10.1002/spe.2561openalex-snapshot
The analysis of architectural languages for the needs of practitioners
inferred← citeshttps://doi.org/10.1002/spe.486openalex-snapshot
Klava: a Java package for distributed and mobile applications
inferred← citeshttps://doi.org/10.1007/1-4020-8141-3_45openalex-snapshot
Polya:True Type Polymorphism for Mobile Ambients
inferred← citeshttps://doi.org/10.1007/1-84628-271-3_2openalex-snapshot
Introduction to Formal Methods
inferred← citeshttps://doi.org/10.1007/11417019_2openalex-snapshot
A Correct Abstract Machine for Safe Ambients
inferred← citeshttps://doi.org/10.1007/11419822_4openalex-snapshot
Performance Analysis of Mobile Systems
inferred← citeshttps://doi.org/10.1007/11431879_20openalex-snapshot
More Principled Design of Pervasive Computing Systems
inferred← citeshttps://doi.org/10.1007/11506676_5openalex-snapshot
Logical Mobility and Locality Types
inferred← citeshttps://doi.org/10.1007/11512073_15openalex-snapshot
Himalaya Framework: Hierarchical Intelligent Mobile Agents for Building Large-Scale and Adaptive Systems Based on Ambients
inferred← citeshttps://doi.org/10.1007/11534310_115openalex-snapshot
Using Ambient in Computational Reflection Semantics Description
inferred← citeshttps://doi.org/10.1007/11559221_5openalex-snapshot
Adaptive Mobile Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/11560326_9openalex-snapshot
A Generic Model for Analyzing Security Protocols
inferred← citeshttps://doi.org/10.1007/11561347_26openalex-snapshot
Component-Oriented Programming with Sharing: Containment is Not Ownership
inferred← citeshttps://doi.org/10.1007/11562436_25openalex-snapshot
Proof Methodologies for Behavioural Equivalence in Dpi
inferred← citeshttps://doi.org/10.1007/11563952_47openalex-snapshot
Deploying π-Calculus Technology in Inter-organizational Process
inferred← citeshttps://doi.org/10.1007/11575467_26openalex-snapshot
A Parametric Model for the Analysis of Mobile Ambients
inferred← citeshttps://doi.org/10.1007/11575801_35openalex-snapshot
An Ontology for Mobile Agents in the Context of Formal Verification
inferred← citeshttps://doi.org/10.1007/11580850_6openalex-snapshot
Types for Security in a Mobile World
inferred← citeshttps://doi.org/10.1007/11590156_11openalex-snapshot
Extending Howe’s Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names
inferred← citeshttps://doi.org/10.1007/11678823_12openalex-snapshot
Organization and Mobility in Mobile Agent Computing
inferred← citeshttps://doi.org/10.1007/11767954_8openalex-snapshot
Formalising Business Process Execution with Bigraphs and Reactive XML
inferred← citeshttps://doi.org/10.1007/11768869_3openalex-snapshot
The Bisimulation Proof Method: Enhancements and Open Problems
inferred← citeshttps://doi.org/10.1007/11784180_6openalex-snapshot
Measuring the Speed of Information Leakage in Mobile Processes
inferred← citeshttps://doi.org/10.1007/11802372_19openalex-snapshot
A Layered Semantics for Mobile Computation
inferred← citeshttps://doi.org/10.1007/11804192_2openalex-snapshot
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
inferred← citeshttps://doi.org/10.1007/11804192_8openalex-snapshot
Beyond Bisimulation: The “up-to” Techniques
inferred← citeshttps://doi.org/10.1007/11818502_10openalex-snapshot
Structured Coordination Spaces for Fault Tolerant Mobile Agents
inferred← citeshttps://doi.org/10.1007/11841883_12openalex-snapshot
Composition and Decomposition of DPO Transformations with Borrowed Context
inferred← citeshttps://doi.org/10.1007/11888116_16openalex-snapshot
Decidable Extensions of Hennessy-Milner Logic
inferred← citeshttps://doi.org/10.1007/11888116_4openalex-snapshot
JSCL: A Middleware for Service Coordination
inferred← citeshttps://doi.org/10.1007/11901914_34openalex-snapshot
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets
inferred← citeshttps://doi.org/10.1007/11921240_24openalex-snapshot
Spatio-temporal Model Checking for Mobile Real-Time Systems
inferred← citeshttps://doi.org/10.1007/11946441_29openalex-snapshot
Managing Grid Computations: An ORC-Based Approach
inferred← citeshttps://doi.org/10.1007/11948148_39openalex-snapshot
Event Based Service Coordination over Dynamic and Heterogeneous Networks
inferred← citeshttps://doi.org/10.1007/11963516_26openalex-snapshot
A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks
inferred← citeshttps://doi.org/10.1007/11964995_29openalex-snapshot
A System Theory Approach to the Representation of Mobile Digital Controllers Agents
inferred← citeshttps://doi.org/10.1007/3-540-32653-7_5openalex-snapshot
Engineering of Event-Based Systems
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-36206-1_8openalex-snapshot
Communication Interference in Mobile Boxed Ambients
inferred← citeshttps://doi.org/10.1007/3-540-36206-1_9openalex-snapshot
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
inferred← citeshttps://doi.org/10.1007/3-540-36257-6_9openalex-snapshot
Smart Environments: Middleware Building Blocks for Pervasive Network Computing (A Position Paper)
inferred← citeshttps://doi.org/10.1007/3-540-36377-7_11openalex-snapshot
Flow Logic: A Multi-paradigmatic Approach to Static Analysis
inferred← citeshttps://doi.org/10.1007/3-540-36384-x_11openalex-snapshot
Types for Evolving Communication in Safe Ambients
inferred← citeshttps://doi.org/10.1007/3-540-36388-2_13openalex-snapshot
Multi-agent Reactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-36557-5_21openalex-snapshot
Extending Activity Diagrams to Model Mobile Systems
inferred← citeshttps://doi.org/10.1007/3-540-36575-3_18openalex-snapshot
Type Inference for a Distributed π-Calculus
inferred← citeshttps://doi.org/10.1007/3-540-36578-8_8openalex-snapshot
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
inferred← citeshttps://doi.org/10.1007/3-540-44464-5_15openalex-snapshot
Safe Ambients: Control Flow Analysis and Security
inferred← citeshttps://doi.org/10.1007/3-540-44464-5_16openalex-snapshot
Security Types for Mobile Safe Ambients
inferred← citeshttps://doi.org/10.1007/3-540-44464-5_8openalex-snapshot
Spatial Congruence for Ambients Is Decidable
inferred← citeshttps://doi.org/10.1007/3-540-44539-0_4openalex-snapshot
Context-Dependency in Internet-Agent Coordination
inferred← citeshttps://doi.org/10.1007/3-540-44612-5_17openalex-snapshot
A Compositional Model for Confluent Dynamic Data-Flow Networks
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_19openalex-snapshot
Deriving Bisimulation Congruences for Reactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_5openalex-snapshot
Programming Access Control: The Klaim Experience
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_7openalex-snapshot
Typing Mobility in the Seal Calculus
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_8openalex-snapshot
Reasoning about Security in Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_25openalex-snapshot
Ambient Groups and Mobility Types
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_26openalex-snapshot
An Asynchronous, Distributed Implementation of Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-45023-8_34openalex-snapshot
An Unified Framework for Programming Autonomous, Intelligent and Mobile Agents
inferred← citeshttps://doi.org/10.1007/3-540-45036-x_52openalex-snapshot
Message Transferring Model between Mobile Agents in Multi-region Mobile Agent Computing Environment
inferred← citeshttps://doi.org/10.1007/3-540-45061-0_75openalex-snapshot
Secrecy in Untrusted Networks
inferred← citeshttps://doi.org/10.1007/3-540-45263-x_15openalex-snapshot
Mobile Agents Coordination in Mobadtl
inferred← citeshttps://doi.org/10.1007/3-540-45263-x_16openalex-snapshot
A Logical Interface Description Language for Components
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_1openalex-snapshot
A Query Language Based on the Ambient Logic
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_14openalex-snapshot
What Are Polymorphically-Typed Ambients?
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_17openalex-snapshot
Control-Flow Analysis in Cubic Time
inferred← citeshttps://doi.org/10.1007/3-540-45349-0_16openalex-snapshot
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
inferred← citeshttps://doi.org/10.1007/3-540-45407-1_14openalex-snapshot
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
inferred← citeshttps://doi.org/10.1007/3-540-45413-6_8openalex-snapshot
Logical Properites of Name Restriction
inferred← citeshttps://doi.org/10.1007/3-540-45446-2_15openalex-snapshot
Subtyping and Matching for Mobile Objects
inferred← citeshttps://doi.org/10.1007/3-540-45446-2_9openalex-snapshot
P Systems with Gemmation of Mobile Membranes
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_3openalex-snapshot
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_11openalex-snapshot
Mobile Processes: A Commented Bibliography
inferred← citeshttps://doi.org/10.1007/3-540-45608-2_6openalex-snapshot
Classification of Security Properties
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_5openalex-snapshot
Logic Programming Languages for the Internet
inferred← citeshttps://doi.org/10.1007/3-540-45694-5_19openalex-snapshot
A Calculus of Mobile Resources*
inferred← citeshttps://doi.org/10.1007/3-540-45694-5_20openalex-snapshot
Using Ambients to Control Resources*
inferred← citeshttps://doi.org/10.1007/3-540-45699-6_6openalex-snapshot
The Join Calculus: A Language for Distributed Mobile Programming
inferred← citeshttps://doi.org/10.1007/3-540-45719-4_18openalex-snapshot
Bisimulation by Unification*
inferred← citeshttps://doi.org/10.1007/3-540-45789-5_16openalex-snapshot
Compactly Representing First-Order Structures for Static Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45798-4_15openalex-snapshot
Performance Validation of Mobile Software Architectures
inferred← citeshttps://doi.org/10.1007/3-540-45927-8_18openalex-snapshot
Automatic Complexity Analysis
inferred← citeshttps://doi.org/10.1007/3-540-46000-4_11openalex-snapshot
An Associative Broadcast Based Coordination Model for Distributed Processes
inferred← citeshttps://doi.org/10.1007/3-540-46000-4_22openalex-snapshot
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/3-540-46000-4_8openalex-snapshot
Coordinating Mobile Object-Oriented Code
inferred← citeshttps://doi.org/10.1007/3-540-46000-4_9openalex-snapshot
Formalizing Properties of Mobile Agent Systems
inferred← citeshttps://doi.org/10.1007/3-540-46425-5_20openalex-snapshot
A Kleene Analysis of Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-46432-8_25openalex-snapshot
Subtyping and Typing Algorithms for Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-46475-1_17openalex-snapshot
Mobility and Coordination for Distributed Java Applications
inferred← citeshttps://doi.org/10.1007/3-540-46674-6_19openalex-snapshot
Programming the Mobility Behaviour of Agents by Composing Itineraries
inferred← citeshttps://doi.org/10.1007/3-540-46691-6_24openalex-snapshot
The Receptive Distributed π-Calculus
inferred← citeshttps://doi.org/10.1007/3-540-46852-8_15openalex-snapshot
Modeling Dynamic Software Components in UML
inferred← citeshttps://doi.org/10.1007/3-540-47764-0_23openalex-snapshot
An Abstract Interpretation Framework for Analysing Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-47813-2_18openalex-snapshot
A Fully Abstract Model for Higher-Order Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-47959-7_1openalex-snapshot
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
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-47993-7_13openalex-snapshot
Lana: An Approach to Programming Autonomous Systems
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_14openalex-snapshot
Engineering Event-Based Systems with Scopes
inferred← citeshttps://doi.org/10.1007/3-540-48294-6_9openalex-snapshot
Abstract Interpretation of Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-48315-2_26openalex-snapshot
The Formal Structure of Ecological Contexts
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_32openalex-snapshot
Validating Firewalls in Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_20openalex-snapshot
Mobility Types for Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_4openalex-snapshot
Abstractions for Mobile Computation
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_5openalex-snapshot
Type-Safe Execution of Mobile Agents in Anonymous Networks
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_6openalex-snapshot
Types as Specifications of Access Policies
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-48919-3_17openalex-snapshot
Coordination Among Mobile Objects
inferred← citeshttps://doi.org/10.1007/3-540-48919-3_3openalex-snapshot
A Coordination Model for Agents based on Secure Spaces
inferred← citeshttps://doi.org/10.1007/3-540-48919-3_5openalex-snapshot
MobiS: A Specification Language for Mobile Systems
inferred← citeshttps://doi.org/10.1007/3-540-48959-2_18openalex-snapshot
A Study of Abramsky’s Linear Chemical Abstract Machine
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_1openalex-snapshot
Security Protocols and Specifications
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_15openalex-snapshot
Equational Properties of Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-49366-2_22openalex-snapshot
Mobile Computation: Calculus and Languages (A Tutorial)
inferred← citeshttps://doi.org/10.1007/978-0-387-09680-3_34openalex-snapshot
Deconstructing behavioural theories of mobility
inferred← citeshttps://doi.org/10.1007/978-0-387-35496-5_14openalex-snapshot
Control Flow Analysis of Mobile Ambients with Security Boundaries
inferred← citeshttps://doi.org/10.1007/978-0-387-35520-7_3openalex-snapshot
Specification of Mobile Code Systems Using Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-0-387-35608-2_43openalex-snapshot
About Compositional Analysis of π-Calculus Processes
inferred← citeshttps://doi.org/10.1007/978-0-387-39388-9_4openalex-snapshot
Mobile Ambients in Aspect-Oriented Software Architectures
inferred← citeshttps://doi.org/10.1007/978-0-387-44641-7_64openalex-snapshot
Operational Semantics of the Seal Calculus
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_100116-1openalex-snapshot
Cyber-physical Maritime Robotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_20openalex-snapshot
On the Expressiveness of Joining and Splitting
inferred← citeshttps://doi.org/10.1007/978-3-030-44184-5_100116openalex-snapshot
Cyber-Physical Maritime Robotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_4openalex-snapshot
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-62645-6_7openalex-snapshot
Leaf-First Zipper Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-00395-5_124openalex-snapshot
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-01571-2_38openalex-snapshot
An Agent-Based Solution for the Problem of Designing Complex Ambient Intelligence Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-03998-5_2openalex-snapshot
Theory of Interaction, Insertion Modeling, and Cognitive Architectures
inferred← citeshttps://doi.org/10.1007/978-3-319-10407-2_4openalex-snapshot
Coordination Challenges in Networked Vehicle Systems: Are We Missing Something?
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_13openalex-snapshot
Expressiveness via Intensionality and Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-319-23318-5_5openalex-snapshot
Dynamically Provisioning Isolation in Hierarchical Architectures
inferred← citeshttps://doi.org/10.1007/978-3-319-24912-4_1openalex-snapshot
Insertion Modeling and Symbolic Verification of Large Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-33201-7_15openalex-snapshot
Proximity-Based Federation of Smart Objects and Their Application Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-39378-0_63openalex-snapshot
Constraint Solving-Based Automatic Generation of Mobile Agent Itineraries
inferred← citeshttps://doi.org/10.1007/978-3-319-59041-7_6openalex-snapshot
Compliance Verification Algorithm for Computer Systems Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-540-24597-1_22openalex-snapshot
Minimality Results for the Spatial Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-24619-0_22openalex-snapshot
Simulation of Mobile Ambients by P Systems. Part 1
inferred← citeshttps://doi.org/10.1007/978-3-540-24634-3_6openalex-snapshot
On Calculi for Context-Aware Coordination
inferred← citeshttps://doi.org/10.1007/978-3-540-24725-8_13openalex-snapshot
A Dependently Typed Ambient Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-24725-8_14openalex-snapshot
A Control Flow Analysis for Safe and Boxed Ambients
inferred← citeshttps://doi.org/10.1007/978-3-540-24727-2_18openalex-snapshot
safeDpi: A Language for Controlling Mobile Code
inferred← citeshttps://doi.org/10.1007/978-3-540-24848-4_14openalex-snapshot
On the Performance of SOAP in a Non-trivial Peer-to-Peer Experiment
inferred← citeshttps://doi.org/10.1007/978-3-540-25936-7_5openalex-snapshot
CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_7openalex-snapshot
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27864-1_8openalex-snapshot
Spatial Analysis of BioAmbients
inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_8openalex-snapshot
CommUnity on the Move: Architectures for Distribution and Mobility
inferred← citeshttps://doi.org/10.1007/978-3-540-30133-2_134openalex-snapshot
A Functional Language for Mobile Agents with Dynamic Extension
inferred← citeshttps://doi.org/10.1007/978-3-540-30182-0_52openalex-snapshot
Modelling Mobility with PEPA Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-30187-5_10openalex-snapshot
A UML Profile to Model Mobile Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-30208-7_16openalex-snapshot
Membrane Calculus: A Formal Method for Grid Transactions
inferred← citeshttps://doi.org/10.1007/978-3-540-30497-5_71openalex-snapshot
A BioAmbients Based Framework for Chain-Structured Biomolecules Modelling
inferred← citeshttps://doi.org/10.1007/978-3-540-30502-6_33openalex-snapshot
Reactive Framework for Resource Aware Distributed Computing
inferred← citeshttps://doi.org/10.1007/978-3-540-30538-5_18openalex-snapshot
Adjunct Elimination Through Games in Static Ambient Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-30555-2_29openalex-snapshot
Specifying a Mobile Computing Infrastructure and Services
inferred← citeshttps://doi.org/10.1007/978-3-540-31794-4_1openalex-snapshot
Symbolic Equivalences for Open Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-31794-4_11openalex-snapshot
A Generic Membrane Model (Note)
inferred← citeshttps://doi.org/10.1007/978-3-540-31794-4_3openalex-snapshot
Mobile UML Statecharts with Localities
inferred← citeshttps://doi.org/10.1007/978-3-540-31837-8_6openalex-snapshot
LMNtal: A Language Model with Links and Membranes
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_20openalex-snapshot
Embeddings and Contexts for Link Graphs
inferred← citeshttps://doi.org/10.1007/978-3-540-31959-7_11openalex-snapshot
A Distributed and Mobile Component System Based on the Ambient Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-31959-7_5openalex-snapshot
Algebraic Semantics of Design Abstractions for Context-Awareness
inferred← citeshttps://doi.org/10.1007/978-3-540-31987-0_27openalex-snapshot
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
inferred← citeshttps://doi.org/10.1007/978-3-540-32260-3_7openalex-snapshot
A Mobile Agents Platform: Architecture, Mobility and Security Elements
inferred← citeshttps://doi.org/10.1007/978-3-540-39646-8_13openalex-snapshot
A Formal Model of Active Contents Based on the Ambient Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-39646-8_2openalex-snapshot
Specification and Selection of Network Management Agents
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_10openalex-snapshot
Generic Interacting State Machines and Their Instantiation with Dynamic Features
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_14openalex-snapshot
On Mobility Extensions of UML Statecharts. A Pragmatic Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_8openalex-snapshot
The Kell Calculus: Operational Semantics and Type System
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_20openalex-snapshot
On How Distribution and Mobility Interfere with Coordination
inferred← citeshttps://doi.org/10.1007/978-3-540-40042-4_5openalex-snapshot
Ambient Calculi with Types: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-540-40965-6_13openalex-snapshot
A Calculus for Secure Mobility
inferred← citeshttps://doi.org/10.1007/978-3-540-44833-4_5openalex-snapshot
JoCaml: A Language for Concurrent Distributed and Mobile Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-45099-3_8openalex-snapshot
Confidentiality Analysis of Mobile Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_38openalex-snapshot
Interacting State Machines for Mobility
inferred← citeshttps://doi.org/10.1007/978-3-540-45347-5_10openalex-snapshot
MobiDoc: A Framework for Building Mobile Compound Documents from Hierarchical Mobile Agents
showing the first 200 of 455 · page through all 455
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.