Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Decidability of bisimulation equivalence for processes generating context-free languages
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
A syntactic approach to type soundness
Information and Computation
Context and consciousness: activity theory and human-computer interaction
Context and consciousness: activity theory and human-computer interaction
Active object: an object behavioral pattern for concurrent programming
Pattern languages of program design 2
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Software and the Concurrency Revolution
Queue - Multiprocessors
The java.util.concurrent synchronizer framework
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Variant parametric types: A flexible subtyping scheme for generics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Agens Faber: Toward a Theory of Artefacts for MAS
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination artifacts as first-class abstractions for MAS engineering: state of the research
Software Engineering for Multi-Agent Systems IV
Programming MAS with artifacts
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Functional Active Objects: Typing and Formalisation
Electronic Notes in Theoretical Computer Science (ENTCS)
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
| Hi-index | 0.00 |
More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core / parallel architectures and Internet-based systems. Besides the typical fine-grained support currently provided, however, we seek in this paper for an higher-level approach. We present simpA, a library-based extension of Java which provides programmers with agent and artifact abstractions on top of the basic OO layer, as a means to organise and structure concurrent applications. To pave the way towards identifying a true language extension for simpA, we define a core calculus of agents and artifacts, by suitabling mixing techniques coming from object-orientation and concurrency theory.