Prototyping concurrent systems with agents and artifacts: framework and core calculus

DOI10.1016/J.ENTCS.2008.03.102MaRDI QIDQ2866321zbMATH OpenOpenAlexWikidataFDO

Authors Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore

Publication date 13 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.03.102

zbMATH Keywords

agents and artifactsconcurrent programmingcore calculimultiagent systemsmultiprogramming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Recommendations

• simpA: an agent-oriented approach for programming concurrent applications on top of Java
• Standard type soundness for agents and artifacts
• Modeling concurrent systems: actors, nets, and the problem of abstraction and composition
• Models for concurrent constraint programming
• Partial confluence of processes and systems of objects

Cites work

• A core calculus for correlation in orchestration languages
• A syntactic approach to type soundness
• scientific article; zbMATH DE number 4035115 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)

Cited in

(2)

• Standard type soundness for agents and artifacts
• simpA: an agent-oriented approach for programming concurrent applications on top of Java

Describes a project that uses

Uses Software

• Featherweight Java
• COWS
• simpA

This page was built for publication: Prototyping concurrent systems with agents and artifacts: framework and core calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2866321)