The C programming language
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The “worm” programs—early experience with a distributed computation
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Distributed communication via global buffer
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
An integrated microcomputer network for experiments in distributed programming
An integrated microcomputer network for experiments in distributed programming
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
DIB—a distributed implementation of backtracking
ACM Transactions on Programming Languages and Systems (TOPLAS)
Environments as first class objects
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Matching Language and Hardware for Parallel Computation in the Linda Machine
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
Language and visualization support for large-scale concurrency
ICSE '88 Proceedings of the 10th international conference on Software engineering
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Applications experience with Linda
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Communications of the ACM
Using a global name space for parallel execution of UNIX tools
Communications of the ACM - Special issue: multiprocessing
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
A parallel `make' utility based on Linda's tuple-space
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Design and distributed implementation of the parallel logic language shared Prolog
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Multi-model parallel programming in psyche
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
A Chare kernel implementation of a parallel Prolog compiler
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Parallelizing a new class of large applications over high-speed networks
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
UC: a language for the connection machine
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Implementation and performance of Munin
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Eiffel Linda: an object-oriented Linda dialect
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Experiences in integrating distributed shared memory with virtual memory management
ACM SIGOPS Operating Systems Review
Teaching concurrency with Joyce and Linda
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Communication mechanism on autonomous objects
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Distributed computing with APL
APL '92 Proceedings of the international conference on APL
Efficient parallel programming with Linda
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Programming by multiset transformation
Communications of the ACM
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
PAR-APLAC: Parallel Circuit Analysis and Optimization
EURO-DAC '92 Proceedings of the conference on European design automation
ACM SIGOPS Operating Systems Review
Window real objects: a distributed shared memory for distributed implementation of GUI applications
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
XDP: a simple library for teaching a distributed programming module
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Supporting Fault-Tolerant Parallel Programming in Linda
IEEE Transactions on Parallel and Distributed Systems
ACM Transactions on Computer Systems (TOCS)
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Boundary analysis in the instructional footprint model: an implementation in Linda
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Automatic parallelization of object-oriented programming languages using tuple space
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
The design, implementation, and evaluation of Jade
ACM Transactions on Programming Languages and Systems (TOPLAS)
L2imbo: a distributed systems platform for mobile computing
Mobile Networks and Applications - Special issue on protocols and software paradigms of mobile networks
Abductive coordination for logic agents
Proceedings of the 1999 ACM symposium on Applied computing
Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
GVT and scheduling in space time memory based techniques
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Proceedings of the 21st international conference on Software engineering
Using discrete event modeling for effective computer animation control
WSC '91 Proceedings of the 23rd conference on Winter simulation
MAGNET: an architecture for dynamic resource allocation
Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access
Linear behaviour of term graph rewriting programs
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Implementing Linda for distributed and parallel processing
ICS '89 Proceedings of the 3rd international conference on Supercomputing
An asynchronous distributed systems platform for heterogeneous environments
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Locality in distributed computations
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Experiences of Using Generative Communications to Support AdaptiveMobile Applications
Distributed and Parallel Databases - Special issue on mobile data management and applications
Coordinating autonomous entities
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A collaboration specification language
Proceedings of the 2nd conference on Domain-specific languages
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
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
Developing mobile computing applications with LIME
Proceedings of the 22nd international conference on Software engineering
A universal information appliance
IBM Systems Journal
Rapid development of dependable applications over Ad hoc networks
ACM SIGSOFT Software Engineering Notes
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Exploiting space and location as a design framework for interactive mobile systems
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction with mobile systems
On observation as a coordination paradigm: an ontology and a formal framework
Proceedings of the 2001 ACM symposium on Applied computing
Experience with memory management in open Linda systems
Proceedings of the 2001 ACM symposium on Applied computing
Using petri nets for specifying active objects and generative communication
Concurrent object-oriented programming and petri nets
Types of specifications of access policies
Secure Internet programming
Consistent group membership in ad hoc networks
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Holmes: an intelligent system to support software product line development
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Software implementation strategies for power-conscious systems
Mobile Networks and Applications
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Applying high-level language paradigms to distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Trace and testing equivalence on asynchronous processes
Information and Computation
Software update via mobile agent based programming
Proceedings of the 2002 ACM symposium on Applied computing
Towards scalability in tuple spaces
Proceedings of the 2002 ACM symposium on Applied computing
On the serializability of transactions in shared dataspaces with temporary data
Proceedings of the 2002 ACM symposium on Applied computing
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
A modular approach to build structured event-based systems
Proceedings of the 2002 ACM symposium on Applied computing
Distributed data structures in Linda
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Challenge: recombinant computing and the speakeasy approach
Proceedings of the 8th annual international conference on Mobile computing and networking
Shared visiting in EQUATOR city
Proceedings of the 4th international conference on Collaborative virtual environments
MARE: resource discovery and configuration in ad hoc networks
Mobile Networks and Applications
Egocentric context-aware programming in ad hoc mobile environments
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
An Agent Model for the Resolution of Feature Conflicts in Telephony
Journal of Network and Systems Management
Coordinating Java agents over the WWW
World Wide Web
Egocentric context-aware programming in ad hoc mobile environments
ACM SIGSOFT Software Engineering Notes
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
Coordination in a Content-Addressable Web
Autonomous Agents and Multi-Agent Systems
Towards a Reference Model for Surveying Mobile Agent Systems
Autonomous Agents and Multi-Agent Systems
XMIDDLE: A Data-Sharing Middleware for Mobile Computing
Wireless Personal Communications: An International Journal
IEEE Internet Computing
Program Structuring for Effective Parallel Portability
IEEE Transactions on Parallel and Distributed Systems
A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
A Framework for the Development of Multiagent Architectures
IEEE Expert: Intelligent Systems and Their Applications
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
Using publish/subscribe middleware for mobile systems
ACM SIGMOBILE Mobile Computing and Communications Review
Exploiting reflection in mobile computing middleware
ACM SIGMOBILE Mobile Computing and Communications Review
JAVA Wrappers for Automated Interoperability
DNIS '00 Proceedings of the International Workshop on Databases in Networked Information Systems
On the Expressiveness of Event Notification in Data-Driven Coordination Languages
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
ICCL'98 Workshop on Internet Programming Languages
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Petri nets in cryptographic protocols
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
From Subject Directories to Subject Meta-directories via Declarative Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Engineering Event-Based Systems with Scopes
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Lana: An Approach to Programming Autonomous Systems
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
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 Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Rule-Based Transactional Object Migration over a Reflective Middleware
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Designing Multi-agent Systems around an Extensible Communication Abstraction
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Generic Process Algebras for Asynchronous Communication
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Using Agent Control and Communication in a Distributed Workflow Information System
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Theory of "May" Testing for Asynchronous Languages
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
Janus: A C++ Template Library for Parallel Dynamic Mesh Applications
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
MobileML: A Programming Language for Mobile Computation
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
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
The LuCe Coordination Technology for MAS Design and Development on the Internet
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Using Logical Operators as an Extended Coordination Mechanism in Linda
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Extending the Matching Facilities of Linda
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
State- and Event-Based Reactive Programming in Shared Dataspaces
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Tuple-Based Models in the Observation Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
An Associative Broadcast Based Coordination Model for Distributed Processes
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Exploiting a Virtual Environment in a Visual PML
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Advanced Lectures on Networking, NETWORKING 2002 [This book presents the revised version of seven tutorials given at the NETWORKING 2002 Conference in Pisa, Italy in May 2002]
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems
Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
MA '01 Proceedings of the 5th International Conference on Mobile Agents
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
CIA '01 Proceedings of the 5th International Workshop on Cooperative Information Agents V
ICrafter: A Service Framework for Ubiquitous Computing Environments
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
Multibrowsing: Moving Web Content across Multiple Displays
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
Using Spatial Co-location for Coordination in Ubiquitous Computing Environments
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
Support for Mobile Location-Aware Applications in MAGNET
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
An Implementation for Abductive Logic Agents
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Magnet: a virtual shared tuplespace resource manager
Virtual shared memory for distributed architectures
Advanced lectures on networking
Support for dynamic trading and runtime adaptability in mobile environments
Adaptive evolutionary information systems
Extending CSP to investigate Linda ambiguities
Journal of Computing Sciences in Colleges
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
Expired data collection in shared dataspaces
Theoretical Computer Science - Foundations of software science and computation structures
Coordination technologies for internet agents
Nordic Journal of Computing
The Application of the SequenceL Language to Complicated Database Applications
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Functionality in ASSY system and language of functional programming
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Portability, Extensibility and Robustness in iROS
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
A Concurrent Object-Based Model and its Use for Coordinating Java Components
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Using Coordination to Restructure Sequential Source Code into a Concurrent Program
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The many faces of publish/subscribe
ACM Computing Surveys (CSUR)
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Posit spaces: a performative model of e-commerce
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
DCAPS - Architecture for Distributed Computer Aided Prototyping System
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Modeling Indirect Interaction in Open Computational Systems
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Supporting Coordination in Open Computational Systems with TuCSoN
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
HydroJ: object-oriented pattern matching for evolvable distributed systems
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Basic components for constraint solver cooperations
Proceedings of the 2003 ACM symposium on Applied computing
A new approach to scalable Linda-systems based on swarms
Proceedings of the 2003 ACM symposium on Applied computing
PeerSpaces: data-driven coordination in peer-to-peer networks
Proceedings of the 2003 ACM symposium on Applied computing
Comparing semantic frameworks for coordination: on the conformance issue for coordination media
Proceedings of the 2003 ACM symposium on Applied computing
A lightweight Java taskspaces framework for scientific computing on computational grids
Proceedings of the 2003 ACM symposium on Applied computing
PoliS: a programming model for multiple tuple spaces
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Issues in the specification and design of parallel programs
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Attribute-based filtering for embedded systems
Proceedings of the 2nd international workshop on Distributed event-based systems
Stateful distributed interposition
ACM Transactions on Computer Systems (TOCS)
WSSecSpaces: a secure data-driven coordination service for Web Services applications
Proceedings of the 2004 ACM symposium on Applied computing
Web Services for E-commerce: guaranteeing security access and quality of service
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
Coordination knowledge engineering
The Knowledge Engineering Review
The Knowledge Engineering Review
Distributed Programming with Typed Events
IEEE Software
Using XML pipelines to build dynamically configurable software
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
On the implementation of SwarmLinda
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
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
Towards Safe Distributed Application Development
Proceedings of the 26th International Conference on Software Engineering
IBM Systems Journal
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Feature interaction in policies
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
Knowledge-driven interactions with services across ad hoc networks
Proceedings of the 2nd international conference on Service oriented computing
Supporting service discovery, querying and interaction in ubiquitous computing environments
Wireless Networks - Special issue: Pervasive computing and communications
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Efficient exhaustive listings of reversible one dimensional cellular automata
Theoretical Computer Science - Special issue: Theoretical aspects of cellular automata
Re-Conceptualizing Learning Environments: A Framework for Pervasive eLearning
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
Modernizing Existing Software: A Case Study
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
Parallel Hybrid Multi-Objective Island Model in Peer-to-Peer Environment
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 6 - Volume 07
Microspaces: a compact javaspaces alternative for teaching net-centric computing in Java
Journal of Computing Sciences in Colleges
LighTS: a lightweight, customizable tuple space supporting context-aware applications
Proceedings of the 2005 ACM symposium on Applied computing
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
DPE/PAC: decentralized process engine with product access control
Journal of Systems and Software
The value of handhelds in smart environments
Personal and Ubiquitous Computing
Supporting terminal mobility by means of self-adaptive communication object migration
Proceedings of the 3rd ACM international workshop on Wireless mobile applications and services on WLAN hotspots
The inhibition spectrum and the achievement of causal consistency
Distributed Computing
Law-governed Linda as a semantics for agent dialogue protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Semantics-based optimization across uncoordinated tasks in networked embedded systems
Proceedings of the 5th ACM international conference on Embedded software
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Information and Computation
XL-AOF: lightweight aspects for space-based computing
AOMD '05 Proceedings of the 1st workshop on Aspect oriented middleware development
Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing
Personal and Ubiquitous Computing
Uncertain event-based model for egocentric context sensing
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
Hybrid service-oriented architectures: a case-study in the automotive domain
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
Source transformation, analysis and generation in TXL
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A survey of application distribution in wireless sensor networks
EURASIP Journal on Wireless Communications and Networking
ACM Transactions on Computer-Human Interaction (TOCHI)
Java/CORBA technology on a Beowulf cluster
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Quantitative information in the tuple space coordination model
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
New and improved: Linda in Java
Science of Computer Programming - Special issue: Principles and practices of programming in Java (PPPJ 2004)
Programming multi-agent systems
The Knowledge Engineering Review
On using the CAMA framework for developing open mobile fault tolerant agent systems
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
IBM Systems Journal
A coordination model for the semantic web
Proceedings of the 2006 ACM symposium on Applied computing
BTS: a Byzantine fault-tolerant tuple space
Proceedings of the 2006 ACM symposium on Applied computing
The role of diverse populations in phylogenetic analysis
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Mobile agent middleware for sensor networks: an application case study
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Distributed computing using Java: a comparison of two server designs
Journal of Systems Architecture: the EUROMICRO Journal
Integration of transient Web services into a virtual peer to peer Web service registry
Distributed and Parallel Databases
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed Garbage Collection Algorithms for Timestamped Data
IEEE Transactions on Parallel and Distributed Systems
Using logical neighborhoods to enable scoping in wireless sensor networks
Proceedings of the 3rd international Middleware doctoral symposium
Ambient references: addressing objects in mobile networks
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
TeenyLIME: transiently shared tuple space middleware for wireless sensor networks
Proceedings of the international workshop on Middleware for sensor networks
A survey of middleware for sensor networks: state-of-the-art and future directions
Proceedings of the international workshop on Middleware for sensor networks
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic models of a timed distributed dataspace architecture
Theoretical Computer Science - Formal methods for components and objects
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
Coordination with multicapabilities
Science of Computer Programming
An experimental evaluation of self-managing availability in shared data spaces
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
Classification of security properties in a Linda-like process algebra
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
A process-based methodology for designing event-based mobile composite applications
Data & Knowledge Engineering
Parallel Computing - Optimization on grids - Optimization for grids
Pervasive games in a mote-enabled virtual world using tuple space middleware
NetGames '06 Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
A survey of software infrastructures and frameworks for ubiquitous computing
Mobile Information Systems
A design pattern for mobile-distributed knowledge spaces
MIS '05 Proceedings of the 2005 symposia on Metainformatics
An autonomic operating environment for large-scale distributed applications
Integrated Computer-Aided Engineering - Autonomous Computing
Building a tuple space on structured peer-to-peer networks
The Journal of Supercomputing
Design Of A Communication Framework For Interoperable Information Systems
Journal of Integrated Design & Process Science
Designing Interdisciplinary Approaches To Problem Solving Into Computer Languages
Journal of Integrated Design & Process Science
Taking the work out of workflow: mechanisms for document-centered collaboration
ECSCW'99 Proceedings of the sixth conference on European Conference on Computer Supported Cooperative Work
PSI: a platform for shared interaction
ECSCW'99 Proceedings of the sixth conference on European Conference on Computer Supported Cooperative Work
A model for terrain coverage inspired by ant's alarm pheromones
Proceedings of the 2007 ACM symposium on Applied computing
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering
Adaptive Support of Range Queries via Push-Pull Algorithms
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Engineering a BPEL orchestration engine as a multi-agent system
Science of Computer Programming
Interactive presentation: A middleware-centric design flow for networked embedded systems
Proceedings of the conference on Design, automation and test in Europe
DP: a library for building portable, reliable distributed applications
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
A collaboration specification language
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
MESHMdl event spaces - A coordination middleware for self-organizing applications in ad hoc networks
Pervasive and Mobile Computing
Implementing a Distributed Mobile Calculus Using the IMC Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Preliminary Comparative Study on the Expressive Power of Reo and Linda
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Content-based publish/subscribe with structural reflection
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Synchrony vs Asynchrony in Communication Primitives
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
The Esperanto Broker: a communication platform for nomadic computing systems
Software—Practice & Experience
Basic observables for a calculus for global computing
Information and Computation
A tuple channel-based coordination model for parallel and distributed programming
Journal of Parallel and Distributed Computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Open Source Software: All You Do Is Put It Together
IEEE Software
Towards a flexible global sensing infrastructure
ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
Designing a combinatorial java unit testing tool
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
QoS-based scheduling of workflow applications on grids
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
DepSpace: a byzantine fault-tolerant coordination service
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
A&A for modelling and engineering simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Orc and Reo Compared
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Model and infrastructure for decentralized workflow enactment
Proceedings of the 2008 ACM symposium on Applied computing
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study
Proceedings of the 2008 ACM symposium on Applied computing
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Timed environment for web agents
Web Intelligence and Agent Systems
The LighTS tuple space framework and its customization for context-aware applications
Web Intelligence and Agent Systems
A middleware for ecologies of robotic devices
Proceedings of the 1st international conference on Robot communication and coordination
A platform-independent approach for auditing information systems
HDKM '08 Proceedings of the second Australasian workshop on Health data and knowledge management - Volume 80
International Journal of Distributed Sensor Networks - Sensor Networks, Ubiquitous and Trustworthy Computing
Tuplespace-based computing for the semantic web: A survey of the state-of-the-art
The Knowledge Engineering Review
Comparing communication primitives via their relative expressive power
Information and Computation
Efficient Parallel Programming with Linda
Scientific Programming
Research note: On Byzantine generals with alternative plans
Journal of Parallel and Distributed Computing
Journal of Intelligent and Robotic Systems
Synchronizing control flow in a tuplespace-based, distributed workflow management system
Proceedings of the 10th international conference on Electronic commerce
quFiles: a unifying abstraction for mobile data management
Proceedings of the 9th workshop on Mobile computing systems and applications
BitDew: a programmable environment for large-scale data management and distribution
Proceedings of the 2008 ACM/IEEE conference on Supercomputing
On Developing Open Mobile Fault Tolerant Agent Systems
Software Engineering for Multi-Agent Systems V
Exception Handling in Context-Aware Agent Systems: A Case Study
Software Engineering for Multi-Agent Systems V
Using the Simulated Annealing Algorithm for Multiagent Decision Making
RoboCup 2006: Robot Soccer World Cup X
Service-Oriented Operating System: A Key Element in Improving Service Availability
ISAS '07 Proceedings of the 4th international symposium on Service Availability
VWM: An Improvement to Multiagent Coordination in Highly Dynamic Environments
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
From AO Methodologies to MAS Infrastructures: The SODA Case Study
Engineering Societies in the Agents World VIII
Event-Based Service Coordination
Concurrency, Graphs and Models
Pursuing the Goal of Language Understanding
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems
Bristlecone: A Language for Robust Software Systems
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
The Smartest Space of All: A Global Space of (Machine-Understandable) Knowledge
NEW2AN '08 / ruSMART '08 Proceedings of the 8th international conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART on Next Generation Teletraffic and Wired/Wireless Advanced Networking
Ubi-Board: A Smart Information Diffusion System
NEW2AN '08 / ruSMART '08 Proceedings of the 8th international conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART on Next Generation Teletraffic and Wired/Wireless Advanced Networking
Flexible Analysis of User Actions in Heterogeneous Distributed Learning Environments
EC-TEL '08 Proceedings of the 3rd European conference on Technology Enhanced Learning: Times of Convergence: Technologies Across Learning Contexts
Message Quality for Ambient System Security
ADHOC-NOW '08 Proceedings of the 7th international conference on Ad-hoc, Mobile and Wireless Networks
Capsules: Expressing Composable Computations in a Parallel Programming Model
Languages and Compilers for Parallel Computing
Non-synchronous Communications in Process Algebraic Architectural Description Languages
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Traceroute probe method and forward IP path inference
Proceedings of the 8th ACM SIGCOMM conference on Internet measurement
Proximity-based ad hoc federation among smart objects and its applications
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
GSpace: an architectural approach for self-managing extra-functional concerns
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Scalable architecture for web service discovery
Proceedings of the 3rd international conference on Scalable information systems
Human-Computer Interaction
Human-Computer Interaction
Formal development of cooperative exception handling for mobile agent systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Resilience through dynamic reconfiguration in agent systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Towards a Multimedia Content Marketplace Implementation Based on Triplespaces
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Distributed Multi-agent System implementation of the Human-Friendly MAS for Mining Stock Data
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Using tuplespaces to enact petri net-based workflow definitions
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
ACM Transactions on Computer-Human Interaction (TOCHI)
XSED --- XML-Based Description of Status---Event Components and Systems
Engineering Interactive Systems
Argumentation in Multi-Agent Systems
Argumentation and Artifact for Dialogue Support
Argumentation in Multi-Agent Systems
A proactive middleware platform for mobile computing
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Programming wireless sensor networks with the TeenyLime middleware
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Journal of Functional Programming
Situated process engineering for integrating processes from methodologies to infrastructures
Proceedings of the 2009 ACM symposium on Applied Computing
A framework for modelling and implementing self-organising coordination
Proceedings of the 2009 ACM symposium on Applied Computing
Knowledge-based coordination with a reliable semantic subscription mechanism
Proceedings of the 2009 ACM symposium on Applied Computing
The Calculus of Handshake Configurations
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
Space-Based Approach to High-Throughput Computations in UNICORE 6 Grids
Euro-Par 2008 Workshops - Parallel Processing
A context-sensitive infrastructure for coordinating agents in ubiquitous environments
Multiagent and Grid Systems - Engineering Environments in Multiagent Systems
On the collective sort problem for distributed tuple spaces
Science of Computer Programming
Agilla: A mobile agent middleware for self-adaptive wireless sensor networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A Heuristics Framework for Semantic Subscription Processing
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Journal of Network and Computer Applications
Mobile Shared Workspaces to Support Construction Inspection Activities
Proceedings of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges
Tuple Spaces as a Flexible Integration Platform for Distributed Learning Environments
Proceedings of the 2007 conference on Supporting Learning Flow through Integrative Technologies
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)
The ARC Programming Model -- Language Constructs for Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Enabling the European Patient Summary through triplespaces
Computer Methods and Programs in Biomedicine
Process Algebra-Based Query Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Automata for Context-Dependent Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Carawan: a clinical documentation system for use in mobile ad-hoc networks
Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly
TMACS: type-based distributed middleware for mobile ad-hoc networks
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
An adaptable framework for distributed and parallel applications
Proceedings of the 8th workshop on Parallel/High-Performance Object-Oriented Scientific Computing
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks
Journal of Network and Computer Applications
NetWorkSpace: a coordination system for high-productivity environments
International Journal of Parallel Programming
Algorithmic specifications in linear logic with subexponentials
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Design and evaluation of lightweight middleware for personal wireless body area network
Personal and Ubiquitous Computing
Two Paradigms Are Better Than One, and Multiple Paradigms Are Even Better
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Algebraic foundation of a data model for an extensible space-based collaboration protocol
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
LMNtal as a hierarchical logic programming language
Theoretical Computer Science
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Towards Zero-Delay Recovery of Agents in Production Automation Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Component coordination in middleware systems
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Context information provisioning in tuple spaces
Proceedings of the 6th Middleware Doctoral Symposium
Global Coordination Policies for Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming multirobot applications using the ThinkingCap-II Java framework
Advanced Engineering Informatics
Enabling social networking in ad hoc networks of mobile phones
Proceedings of the VLDB Endowment
Generative dynamic deployment of multiple components in wireless sensor networks
WONS'09 Proceedings of the Sixth international conference on Wireless On-Demand Network Systems and Services
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
A2A: An Architecture for Autonomic Management Coordination
DSOM '09 Proceedings of the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Integrated Management of Systems, Services, Processes and People in IT
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
TXL - A Language for Programming Language Tools and Applications
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)
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres
Electronic Notes in Theoretical Computer Science (ENTCS)
S-Net for multi-memory multicores
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Information and Computation
Tuplespace middleware for Petri net-based workflow execution
International Journal of Web and Grid Services
From Flow Logic to static type systems for coordination languages
Science of Computer Programming
Providing data confidentiality against malicious hosts in Shared Data Spaces
Science of Computer Programming
Mobile data collection in sensor networks: The TinyLime middleware
Pervasive and Mobile Computing
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Resource access and mobility control with dynamic privileges acquisition
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Environmental support for tag interactions
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
Towards a digital content services design based on triple space
BIS'07 Proceedings of the 10th international conference on Business information systems
Streaming networks for coordinating data-parallel programs
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A coordination model for triplespace computing
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Object-oriented coordination in mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Towards a real-time coordination model for mobile computing
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A time and interaction model for open distributed timing computation
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
Addressing mobile phone diversity in ubicomp experience development
UbiComp '07 Proceedings of the 9th international conference on Ubiquitous computing
RDFSwarms: selforganized distributed RDF triple store
Proceedings of the 2010 ACM Symposium on Applied Computing
Coordination in open and dynamic environments with TuCSoN semantic tuple centres
Proceedings of the 2010 ACM Symposium on Applied Computing
ESB federation for large-scale SOA
Proceedings of the 2010 ACM Symposium on Applied Computing
Active coordination artifacts in collaborative ubiquitous-computing environments
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
DOLCLAN: middleware support for peer-to-peer distributed shared objects
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Formal modelling of a coordination system: from practice to theory, and back again
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
DRLinda: a distributed message broker for collaborative interactions among business processes
EC-Web'07 Proceedings of the 8th international conference on E-commerce and web technologies
Formal reasoning on a web coordination system
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Designing mobile shared workspaces for loosely coupled workgroups
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
Programming wireless sensor networks with the TeenyLIME middleware
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Implementing session centered calculi
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
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
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Facilitating complex web service interactions through a tuplespace binding
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Reference architectural styles for service-oriented computing
NPC'07 Proceedings of the 2007 IFIP international conference on Network and parallel computing
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Process mediation based on triple space computing
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
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
Bamboo: a data-centric, object-oriented approach to many-core software
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
The reflective blackboard pattern: architecting large multi-agent systems
Software engineering for large-scale multi-agent systems
A declarative approach to agent-centered context-aware computing in ad hoc wireless environments
Software engineering for large-scale multi-agent systems
Objective versus subjective coordination in the engineering of agent systems
Intelligent information agents
xDUCON: cross domain usage control through shared data spaces
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Tools to support the design, execution and visualization of instructional designs
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Journal of Systems and Software
Communication and coordination support in ad hoc networks for emergency management scenarios
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
JavaSpaces NetBeans: a linda workbench for distributed programming course
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Science of Computer Programming
A computational framework for flood risk assessment in The Netherlands
Scientific Programming
Cybernetics and Systems Analysis
Sharing educational scenario designs in practitioner communities
ICLS '10 Proceedings of the 9th International Conference of the Learning Sciences - Volume 1
A dynamic, decentralised search algorithm for efficient data retrieval in a distributed tuple space
AusPDC '10 Proceedings of the Eighth Australasian Symposium on Parallel and Distributed Computing - Volume 107
How students develop concurrent programs
ACE '09 Proceedings of the Eleventh Australasian Conference on Computing Education - Volume 95
Spark: cluster computing with working sets
HotCloud'10 Proceedings of the 2nd USENIX conference on Hot topics in cloud computing
A middleware for rapid prototyping smart environments: experiences in research and teaching
Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing - Adjunct
A resource-aware distributed event space for pervasive smart camera networks
Proceedings of the Fourth ACM/IEEE International Conference on Distributed Smart Cameras
A domain-specific approach to architecturing error handling in pervasive computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Programming with time: cyber-physical programming with impromptu
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Towards a pervasive infrastructure for chemical-inspired self-organising services
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Monitoring and analysing students' systematic behaviour - the SCY pedagogical agent framework
EC-TEL'10 Proceedings of the 5th European conference on Technology enhanced learning conference on Sustaining TEL: from innovation to learning and practice
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers
Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
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
A parallel exact hybrid approach for solving multi- objective problems on the computational grid
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Phylospaces: reconstructing evolutionary trees in tuple space
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Using tuple-spaces to manage the storage and dissemination of spatial-temporal content
Journal of Computer and System Sciences
Context-aware tuples for the ambient
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
A triple space-based semantic distributed middleware for internet of things
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Homogeneity as an advantage: it takes a community to protect an application
CollSec'10 Proceedings of the 2010 international conference on Collaborative methods for security and privacy
Scientific Programming - Exploring Languages for Expressing Medium to Massive On-Chip Parallelism
Recovery tasks: an automated approach to failure recovery
RV'10 Proceedings of the First international conference on Runtime verification
An embedded system dedicated to intervehicle communication applications
EURASIP Journal on Embedded Systems
International Journal of Mobile Learning and Organisation
Coordinating e-health systems with TuCSoN semantic tuple centres
ACM SIGAPP Applied Computing Review
CnC-CUDA: declarative programming for GPUs
LCPC'10 Proceedings of the 23rd international conference on Languages and compilers for parallel computing
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
In-motes: an intelligent agent based middleware for wireless sensor networks
AEE'06 Proceedings of the 5th WSEAS international conference on Applications of electrical engineering
Flocks: enabling dynamic group interactions in mobile social networking applications
Proceedings of the 2011 ACM Symposium on Applied Computing
Security policy foundations in context UNITY
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Annals of Mathematics and Artificial Intelligence
Environment programming in multi-agent systems: an artifact-based perspective
Autonomous Agents and Multi-Agent Systems
Content adaptation based approach for ubiquitous multimedia
Journal of Mobile Multimedia
Extensible PGAS semantics for C++
Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model
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
Ontology-supported scaffolding of concept maps
AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
Proceedings of the fifth international workshop on High-level parallel programming and applications
A tuplespace event model for mashups
Proceedings of the 23rd Australian Computer-Human Interaction Conference
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Scalable and fault tolerant multiple tuple space architecture for mobile agent communication
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Streaming networks for coordinating data-parallel programs (position statement)
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
MediateSpace: decentralised contextual mediation using tuple spaces
Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing
Space-based multi-core programming in Java
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Evaluating a visualisation of the execution of a concurrent program
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
On the relative expressive power of asynchronous communication primitives
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Sharing context information in semantic spaces
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Basic observables for a calculus for global computing
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Compositional verification of asynchronous processes via constraint solving
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 language for modeling network availability
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Knowledge federation over the web based on meme media technologies
Proceedings of the 2005 international conference on Federation over the Web
EC-Web'06 Proceedings of the 7th international conference on E-Commerce and Web Technologies
Ambient-Oriented exception handling
Advanced Topics in Exception Handling Techniques
Structured coordination spaces for fault tolerant mobile agents
Advanced Topics in Exception Handling Techniques
Computational logic in an object-oriented world
Reasoning, Action and Interaction in AI Theories and Systems
RDF: stores – a lightweight approach on managing shared knowledge
UIC'06 Proceedings of the Third international conference on Ubiquitous Intelligence and Computing
MIC*: a deployment environment for autonomous agents
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Enabling autonomic grid applications: dynamic composition, coordination and interaction
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Modelling overhead of tuple spaces with design of experiments
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
MEDIC: a MDO-Enabling distributed computing framework
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Event-Based coordination of process-oriented composite applications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
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
Application integration using conceptual spaces (CSpaces)
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Triple space computing: adding semantics to space-based computing
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
A comparative study between soft system bus and traditional middlewares
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Situated agents interaction: coordinated change of state for adjacent agents
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Coordination with multicapabilities
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Dynamically adapting tuple replication for managing availability in a shared data space
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Experience using a coordination-based architecture for adaptive web content provision
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
Prioritized and parallel reactions in shared data space coordination languages
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Time-aware coordination in ReSpecT
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Towards a coordination model for parallel cooperative p2p multi-objective optimization
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Knowledge acquisition and reasoning in web based epidemic analysis
ICMB'10 Proceedings of the Second international conference on Medical Biometrics
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
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
Sharing information resources in mobile ad-hoc networks
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
From theory to practice in transactional composition of web services
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Supporting mobile collaboration with service-oriented mobile units
CRIWG'06 Proceedings of the 12th international conference on Groupware: design, implementation, and use
CRIWG'06 Proceedings of the 12th international conference on Groupware: design, implementation, and use
On the notion of coupling in communication middleware
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Adaptive access control in coordination-based mobile agent systems
Software Engineering for Multi-Agent Systems III
On specification and verification of location-based fault tolerant mobile systems
Rigorous Development of Complex Fault-Tolerant Systems
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
Science at the speed of thought
Ambient Intelligence for Scientific Discovery
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks
Science of Computer Programming
A model of context-dependent component connectors
Science of Computer Programming
Ambient-Oriented programming in ambienttalk
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Towards encapsulating data in component-based software systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Enabling ubiquitous coordination using application sessions
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Using LIME to support replication for availability in mobile ad hoc networks
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Distributed workflow upon linkable coordination artifacts
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Tuple space coordination across space and time
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
The joschka system: organic job distribution in heterogeneous and unreliable environments
ARCS'10 Proceedings of the 23rd international conference on Architecture of Computing Systems
A coordination-based model-driven method for parallel application development
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Exploiting node mobility for coordinating data usage in crisis scenarios
WISTP'10 Proceedings of the 4th IFIP WG 11.2 international conference on Information Security Theory and Practices: security and Privacy of Pervasive Systems and Smart Devices
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
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
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Overhearing and direct interactions: point of view of an active environment
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Distributed policy specification and interpretation with classified advertisements
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
4LeGE-WG'04 Proceedings of the 4th international LeGE-WG conference on Towards a European Learning Grid Infrastructure: progressing with a European Learning Grid
Programming urban-area applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Modeling adaptation with a tuple-based coordination language
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A coordination-based access control model for space-based computing
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Action and perception in agent programming languages: from exogenous to endogenous environments
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Pervasive ecosystems: a coordination model based on semantic chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Rule-based coordination of logic programs
Computer Languages
Computer Languages
A declarative coordination language
Computer Languages
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Fairness in shared invocation servicing
Computer Languages, Systems and Structures
Application-specific thread schedulers for distributed applications
Concurrency and Computation: Practice & Experience
Distributed S-Net: Cluster and Grid Computing without the Hassle
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Towards a programming model for context-aware applications
Computer Languages, Systems and Structures
A middleware to integrate robots, simple devices and everyday objects into an ambient ecology
Pervasive and Mobile Computing
Ontology-based composition and matching for dynamic cloud service coordination
International Journal of Metadata, Semantics and Ontologies
Join token-based event handling: a comprehensive framework for game programming
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
MADServer: a server architecture for mobile advanced delivery
Proceedings of the seventh ACM international workshop on Challenged networks
Architectural abstractions for spaces-based communication in Smart Environments
Journal of Ambient Intelligence and Smart Environments - A software engineering perspective on smart applications for AmI
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Scoped synchronization constraints for large scale actor systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
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
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Domain-Specific languages in few steps: the neverlang approach
SC'12 Proceedings of the 11th international conference on Software Composition
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
CnC-Python: multicore programming with high productivity
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Towards a computing model for open distributed systems
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Folding of tagged single assignment values for memory-efficient parallelism
Euro-Par'12 Proceedings of the 18th international conference on Parallel Processing
CRIWG'12 Proceedings of the 18th international conference on Collaboration and Technology
Efficient data sharing for multi-device multimedia applications
Proceedings of the Workshop on Multi-device App Middleware
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
Modeling adaptation with Klaim
ACM SIGAPP Applied Computing Review
Dependable Services for Mobile Health Monitoring Systems
International Journal of Ambient Computing and Intelligence
Middleware for pervasive computing: A survey
Pervasive and Mobile Computing
PadSpace: A new framework for the service federation of web resources
Information Systems Frontiers
On competitive self-composition in pervasive services
Science of Computer Programming
Science of Computer Programming
EvoSpace: a distributed evolutionary platform based on the tuple space model
EvoApplications'13 Proceedings of the 16th European conference on Applications of Evolutionary Computation
DEECO: an ensemble-based component system
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
A peer to peer agent coordination framework for IHE based cross-community health record exchange
Proceedings of the 28th Annual ACM Symposium on Applied Computing
EvoSpace-i: a framework for interactive evolutionary algorithms
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
On the concurrent execution of model transformations with Linda
Proceedings of the Workshop on Scalability in Model Driven Engineering
Data-Fu: a language and an interpreter for interaction with read/write linked data
Proceedings of the 22nd international conference on World Wide Web
Large-scale computation not at the cost of expressiveness
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
An Analysis of Language-Level Support for Self-Adaptive Software
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Proceedings of the first international workshop on Mobile cloud computing & networking
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
Supporting interoperability and presence awareness in collaborative mixed reality environments
Proceedings of the 19th ACM Symposium on Virtual Reality Software and Technology
Synchronised range queries in distributed simulations of multiagent systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Uncoupling of mobile cloud computing architecture using tuple space: modeling and reasoning
Proceedings of the 6th ACM India Computing Convention
Interest management for distributed virtual environments: A survey
ACM Computing Surveys (CSUR)
A flexible unified architecture to support heterogeneous multi-device learning environments
International Journal of Mobile Learning and Organisation
ACM SIGAPP Applied Computing Review
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
International Journal of Human-Computer Studies
Otsopack: Lightweight semantic framework for interoperable ambient intelligence applications
Computers in Human Behavior
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Hi-index | 0.03 |
Generative communication is the basis of a new distributed programming langauge that is intended for systems programming in distributed settings generally and on integrated network computers in particular. It differs from previous interprocess communication models in specifying that messages be added in tuple-structured form to the computation environment, where they exist as named, independent entities until some process chooses to receive them. Generative communication results in a number of distinguishing properties in the new language, Linda, that is built around it. Linda is fully distributed in space and distributed in time; it allows distributed sharing, continuation passing, and structured naming. We discuss these properties and their implications, then give a series of examples. Linda presents novel implementation problems that we discuss in Part II. We are particularly concerned with implementation of the dynamic global name space that the generative communication model requires.