Computer
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
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Notices
Coordination languages and their significance
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
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 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
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
Experience with memory management in open Linda systems
Proceedings of the 2001 ACM symposium on Applied computing
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
Towards scalability in tuple spaces
Proceedings of the 2002 ACM symposium on Applied computing
The development of a distributed capability system for VLOS
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
Coordination in a Content-Addressable Web
Autonomous Agents and Multi-Agent Systems
Communications Directed by Bound Types in Linda: Presentation and Formal Model
IEEE Transactions on Parallel and Distributed Systems
Design Considerations for Agent Systems that Glean the Internet
IEEE Intelligent Systems
Coordinating processes with secure spaces
Science of Computer Programming - Special issue on coordination languages and architectures
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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
Designing Multi-agent Systems around an Extensible Communication Abstraction
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Using Logical Operators as an Extended Coordination Mechanism in Linda
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
The SPACETUB Models and Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
The Knowledge Engineering Review
The fading concept in tuple-space systems
Proceedings of the 2006 ACM symposium on Applied computing
Fundamenta Informaticae
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
On the collective sort problem for distributed tuple spaces
Science of Computer Programming
Algebraic foundation of a data model for an extensible space-based collaboration protocol
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Fast track article: Game-based e-retailing in GOLEM agent environments
Pervasive and Mobile Computing
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
tuBiG: a layered infrastructure to provide support for Grid functionalities
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Self-organized invasive parallel optimization
Proceedings of the 3rd workshop on Biologically inspired algorithms for distributed systems
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
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
EC-Web'06 Proceedings of the 7th international conference on E-Commerce and Web Technologies
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
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
Deriving a unified fault taxonomy for event-based systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Context aware specification and verification of distributed systems
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Fundamenta Informaticae
| Hi-index | 0.02 |