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

DOI10.1016/J.ENTCS.2008.03.102zbMATH Open1277.68203OpenAlexW2064557594WikidataQ58194516 ScholiaQ58194516MaRDI QIDQ2866321FDOQ2866321

Alessandro Ricci, Maurizio Cimadamore, Mirko Viroli

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

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

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)

Cites Work

• Title not available (Why is that?)
• A syntactic approach to type soundness
• Title not available (Why is that?)
• A core calculus for correlation in orchestration languages

Cited In (1)

• simpA: an agent-oriented approach for programming concurrent applications on top of Java

Uses Software

• simpA
• COWS
• Featherweight Java

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)