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

multiagent systemsconcurrent programmingmultiprogrammingagents and artifactscore calculi

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42) 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)

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

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

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)