Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Systematic concurrent object-oriented programming
Communications of the ACM
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Turtles, termites, and traffic jams: explorations in massively parallel microworlds
Turtles, termites, and traffic jams: explorations in massively parallel microworlds
A syntactic approach to type soundness
Information and Computation
Active object: an object behavioral pattern for concurrent programming
Pattern languages of program design 2
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Proceedings of the ACM 2000 conference on Java Grande
An agent-based approach for building complex software systems
Communications of the ACM
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
On Barbed Equivalences in pi-Calculus
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
On Implementations and Semantics of a Concurrent Programming Language
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Abstracting Interactions Based on Message Sets
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Programmable Coordination Media
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
A Survey of Agent-Oriented Methodologies
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
JR: Flexible distributed programming in an extended Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Jeeg: temporal constraints for the synchronization of concurrent objects: Research Articles
Concurrency and Computation: Practice & Experience - 2002 ACM Java Grande—ISCOPE Conference Part I
Software and the Concurrency Revolution
Queue - Multiprocessors
JAC: declarative Java concurrency: Research Articles
Concurrency and Computation: Practice & Experience
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)
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
Engineering a BPEL orchestration engine as a multi-agent system
Science of Computer Programming
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Give agents their artifacts: the A&A approach for engineering working environments in MAS
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
WADE: a software platform to develop mission critical applications exploiting agents and workflows
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Artifacts in the A&A meta-model for multi-agent systems
Autonomous Agents and Multi-Agent Systems
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems
Erlang for concurrent programming
Communications of the ACM - Being Human in the Digital Age
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Non-termination checking for imperative programs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Core operational semantics of Proto
Proceedings of the 2011 ACM Symposium on Applied Computing
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
ASPfun: A typed functional active object calculus
Science of Computer Programming
Agent spaces: a scalable architecture for distributed logic agents
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Operational semantics of proto
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. This leads to the extension of mainstream object-oriented programming languages and platforms-Java is a main example-with libraries providing fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs. Besides this fine-grained support, a main research goal in this context is to devise higher-level, coarse-grained abstractions that would help building concurrent programs, as pure object-oriented abstractions help building large component-based programs. To this end, in this paper we present simpA, a Java-based framework that provides programmers with agent-oriented abstractions on top of the basic OO layer, as a means to organize and structure concurrent applications. We first describe the application programming interface (API) and annotation framework provided to Java programmers for building simpA applications, and then we discuss the main features of the approach from a software engineering point of view, by showing some programming examples. Finally, we define an operational semantics formalizing the main aspects of this programming model.