Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communicating sequential processes
Communications of the ACM
Communication and concurrency
Facile: a symmetric integration of concurrent and functional programming
International Journal of Parallel Programming
Selected papers of the Second Workshop on Concurrency and compositionality
Higher-order concurrency
Selected papers of the 3rd workshop on Concurrency and compositionality
A calculus of mobile processes, I
Information and Computation
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus for cryptographic protocols: the spi calculus
Proceedings of the 4th ACM conference on Computer and communications security
Software agents
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
Distributed data structures in Linda
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
A Type-Based Approach to Program Security
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Locality Based Linda: Programming with Explicit Localities
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Process Algebra Based on LINDA
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Coordinating Mobile Agents via Blackboards and Access Rights
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Analyzing Mobile Code Languages
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Jada - Coordination and Communication for Java Agents
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Some Issues in the Semantics of Facile Distributed Programming
Proceedings of the REX Workshop on Sematics: Foundations and Applications
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Localities and Failures (Extended Abstract)
Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science
Software architecture and mobility
ISAW '98 Proceedings of the third international workshop on Software architecture
Specification, analysis, and prototyping of mobile systems
Proceedings of the 21st international conference on Software engineering
A fine-grained model for code mobility
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Optimising the Linda in primitive: understanding tuple-space run-times
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Types of specifications of access policies
Secure Internet programming
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software update via mobile agent based programming
Proceedings of the 2002 ACM symposium on Applied computing
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Resource access control in systems of mobile agents
Information and Computation
Information and Computation
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
The m-calculus: a higher-order distributed process calculus
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
A framework for mobile-agents embodied in X3D networked virtual environment
Web3D '03 Proceedings of the eighth international conference on 3D Web technology
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
Using mobile code to provide fault tolerance in tuple space based coordination languages
Science of Computer Programming - Special issue on coordination languages and architectures
Coordinating processes with secure spaces
Science of Computer Programming - Special issue on coordination languages and architectures
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
A LTS Semantics of Ambients via Graph Synchronization with Mobility
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Suptyping and Locality in Distributed Higher Order Processes (extended abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Typing and Subtyping Mobility in Boxed Ambients
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Reasoning About Concurrent Systems Using Types
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Composing Specifications for Coordination
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination and Access Control of Mobile Agents
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
MobiS: A Specification Language for Mobile Systems
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Scoped Coordination in Open Distributed Systems
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formalizing Properties of Mobile Agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Access control for mobile agents: The calculus of boxed ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Enforcing agent communication laws by means of a reflective framework
Proceedings of the 2004 ACM symposium on Applied computing
WSSecSpaces: a secure data-driven coordination service for Web Services applications
Proceedings of the 2004 ACM symposium on Applied computing
Controlling data movement in global computing applications
Proceedings of the 2004 ACM symposium on Applied computing
Trust and Partial Typing in Open Systems of Mobile Agents
Journal of Automated Reasoning
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
Coordination and mobility in CoreLime
Mathematical Structures in Computer Science
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
CODEWEAVE: Exploring Fine-Grained Mobility of Code
Automated Software Engineering
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
UML based modeling and performance analysis of mobile systems
MSWiM '04 Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
LighTS: a lightweight, customizable tuple space supporting context-aware applications
Proceedings of the 2005 ACM symposium on Applied computing
Formal modeling and quantitative analysis of KLAIM-based mobile systems
Proceedings of the 2005 ACM symposium on Applied computing
MoCha-pi, an exogenous coordination calculus based on mobile channels
Proceedings of the 2005 ACM symposium on Applied computing
Quantitative static analysis of distributed systems
Journal of Functional Programming
Quantitative information in the tuple space coordination model
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
BASS: boxed ambients with safe sessions
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science - Algebraic methodology and software technology
BTS: a Byzantine fault-tolerant tuple space
Proceedings of the 2006 ACM symposium on Applied computing
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Role-based access control for a distributed calculus
Journal of Computer Security - Special issue on CSFW17
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
Coordination with multicapabilities
Science of Computer Programming
Global computing in a dynamic network of tuple spaces
Science of Computer Programming
Secure shared data-space coordination languages: a process algebraic surveys
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Confining data and processes in global computing applications
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinating mobile agents in interaction spaces
Science of Computer Programming
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Model checking mobile stochastic logic
Theoretical Computer Science
Basic observables for a calculus for global computing
Information and Computation
Information and Computation
EURASIP Journal on Applied Signal Processing
Boxed ambients with communication interfaces
Mathematical Structures in Computer Science
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Types for ambient and process mobility†
Mathematical Structures in Computer Science
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring an Option Space to Engineer a Ubiquitous Computing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming mobile intelligent agents: An operational semantics
Web Intelligence and Agent Systems
The LighTS tuple space framework and its customization for context-aware applications
Web Intelligence and Agent Systems
Spatial-behavioral types for concurrency and resource control in distributed systems
Theoretical Computer Science
Using bisimulation proof techniques for the analysis of distributed abstract machines
Theoretical Computer Science
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
An extensible analysable system model
Information Security Tech. Report
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Journal of Functional Programming
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
A Data-Oriented Coordination Language for Distributed Transportation Applications
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Algebraic foundation of a data model for an extensible space-based collaboration protocol
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Tarzan: Communicating and Moving in Wireless Jungles
Electronic Notes in Theoretical Computer Science (ENTCS)
Continuous-Time Probabilistic KLAIM
Electronic Notes in Theoretical Computer Science (ENTCS)
Data Privacy in Tuple Space Based Mobile Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Partitions in SecSpaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Logic for Performance and Mobility
Electronic Notes in Theoretical Computer Science (ENTCS)
NSPW '09 Proceedings of the 2009 workshop on New security paradigms workshop
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
From Flow Logic to static type systems for coordination languages
Science of Computer Programming
Resource access and mobility control with dynamic privileges acquisition
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A spatio-temporal logic for the specification and refinement of mobile systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Automated verification of security policies in mobile code
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
On bisimulation proofs for the analysis of distributed abstract machines
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
From flow logic to static type systems for coordination languages
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
MetaKlaim: meta-programming for global computing
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
An overview of AI research in Italy
Artificial intelligence
Design of a multi_agent system for worm spreading_reduction
Journal of Intelligent Information Systems
Science of Computer Programming
PicOS tuples: easing event based programming in tiny pervasive systems
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Using agent wills to provide fault-tolerance in distributed shared memory systems
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Portunes: representing attack scenarios spanning through the physical, digital and social domain
ARSPA-WITS'10 Proceedings of the 2010 joint conference on Automated reasoning for security protocol analysis and issues in the theory of security
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
History-based access control for distributed processes
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Combining static analysis and runtime checking in security aspects for distributed tuple spaces
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
A distributed and probabilistic concurrent constraint programming language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Adaptive mobile multi-agent systems
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
On a probabilistic chemical abstract machine and the expressiveness of linda languages
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
A flexible and modular framework for implementing infrastructures for global computing
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Basic observables for a calculus for global computing
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Probabilistic linda-based coordination languages
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A mobile agents platform: architecture, mobility and security elements
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Symbolic equivalences for open systems
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Mobile UML statecharts with localities
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A generic membrane model (note)
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Pattern matching over a dynamic network of tuple spaces
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A complete temporal and spatial logic for distributed systems
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Algebraic semantics of design abstractions for context-awareness
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A correct abstract machine for safe ambients
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Coordination with multicapabilities
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Mobile distributed programming in X-KLAIM
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Hermes: agent-based middleware for mobile computing
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Languages and process calculi for network aware programming – short summary -
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
On specification and verification of location-based fault tolerant mobile systems
Rigorous Development of Complex Fault-Tolerant Systems
A mobility calculus with local and dependent types
Processes, Terms and Cycles
Tuple space coordination across space and time
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Data driven language for agents secure interaction
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Simulation and analysis of distributed systems in klaim
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
ASLan++ -- a formal security specification language for distributed systems
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Modeling adaptation with a tuple-based coordination language
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Typed first-class communication channels and mobility for concurrent scripting languages
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Decentralized workflow coordination through molecular composition
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Context aware specification and verification of distributed systems
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Network Conscious π-calculus: A Concurrent Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Design and analysis of cloud-based architectures with KLAIM and maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Towards a formal verification methodology for collective robotic systems
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Modeling adaptation with Klaim
ACM SIGAPP Applied Computing Review
Specifying and analysing reputation systems with a coordination language
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Distributed ECA rules for data management policies
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Rule-driven service coordination middleware for scientific applications
Future Generation Computer Systems
Hi-index | 0.01 |
We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple spaces and of a set of operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class data (they can be manipulated like any other data), but the language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational semantics is useful for discussing the design of the language and provides guidelines for implementations. KLAIM is equipped with a type system that statically checks access rights violations of mobile agents. Types are used to describe the intentions (read, write, execute, etc.) of processes in relation to the various localities. The type system is used to determine the operations that processes want to perform at each locality, and to check whether they comply with the declared intentions and whether they have the necessary rights to perform the intended operations at the specific localities. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented in our kernel language. We also present a prototype implementaton of KLAIM in Java.