Seeking concurrency in rule-based programming
ICSE '92 Proceedings of the 14th international conference on Software engineering
Programming by multiset transformation
Communications of the ACM
Parallel implementation of bags
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
A software architecture for distributed control systems and its transition system semantics
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
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
Functional and constraint logic programming
Constraints in computational logics
Bisimulations in the join-calculus
Theoretical Computer Science
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
A Study of Replicators and Hypercycles by Typogenetics
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Designing Multi-agent Systems around an Extensible Communication Abstraction
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
On a Uniform Representation of Transformation Systems
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Pipelining the Molecule Soup: A Plumber's Approach to Gamma
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Toward a Formal Macroset Theory
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
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
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Implementing higher-order Gamma on MasPar: a case study
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
On abstract interpretation of mobile ambients
Information and Computation
Biologically inspired rule-based multiset programming paradigm for soft-computing
Proceedings of the 1st conference on Computing frontiers
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
ERESYE: artificial intelligence in Erlang programs
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
IEEE Intelligent Systems
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Engineering Societies in the Agents World VIII
The Chemical Reaction Model Recent Developments and Prospects
Software-Intensive Systems and New Computing Paradigms
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
Software-Intensive Systems and New Computing Paradigms
Using Tuple Space to Coordinate Multiagent Activities
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
A rewriting logic approach to operational semantics
Information and Computation
Component coordination in middleware systems
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
A cluster computing environment at a small institution to support faculty/student projects
Journal of Computing Sciences in Colleges
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
On a probabilistic chemical abstract machine and the expressiveness of linda languages
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Modelling dynamically organised colonies of bio-entities
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
WMC'04 Proceedings of the 5th international conference on Membrane Computing
A declarative coordination language
Computer Languages
Hi-index | 0.02 |