Computer
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
The gamma model and its discipline of programming
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Selected papers of the Second Workshop on Concurrency and compositionality
Temporal logic and applications: a tutorial
Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
Programming by multiset transformation
Communications of the ACM
Artificial Intelligence
The Linda alternative to message-passing systems
Parallel Computing - Special issue: message passing interfaces
Distributed programming with logic tuple spaces
New Generation Computing
KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Why interaction is more powerful than algorithms
Communications of the ACM
Coordination languages and their significance
Communications of the ACM
Three approaches to the coordination of multiagent systems
Proceedings of the 2002 ACM symposium on Applied computing
Communication and Concurrency
Advanced Computer Architecture: Parallelism,Scalability,Programmability
Advanced Computer Architecture: Parallelism,Scalability,Programmability
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Multiagent Systems: A Survey from a Machine Learning Perspective
Autonomous Robots
Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Multiagent System Engineering: The Coordination Viewpoint
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Some Chemical Abstract Machines
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Hi-index | 0.00 |
Programming languages play vital roles in program development and implementation. On the one hand, a programming language provides a means of algorithm presentation; on the other hand, it reflects the underlying abstract computational model. In this paper, we discuss the extension of the Chemical Abstract Machine with multiple coexisting agents --- MACH (Multiagent Extended Chemical Abstract Machine). The aim of MACH is to develop a coordination programming language based on an interactive computational model. The language is simple yet powerful enough to construct complicated multiagent, based software systems. We present MACH as a simple and efficient programming approach with an underlying formal proof system.