Process-algebraic approaches for multi-agent systems: an overview

DOI10.1007/S00200-005-0170-3MaRDI QIDQ814895zbMATH OpenOpenAlexWikidataFDO

Authors Mirko Viroli, Andrea Omicini

Publication date 8 February 2006

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-005-0170-3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1629877 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1952778 (Why is no real title available?)
• scientific article; zbMATH DE number 2006601 (Why is no real title available?)
• scientific article; zbMATH DE number 1480194 (Why is no real title available?)
• scientific article; zbMATH DE number 1759613 (Why is no real title available?)
• Algebraic process verification.
• From tuple spaces to tuple centres
• Handbook of process algebra
• Intention is choice with commitment
• Probabilistic extensions of process algebras.
• Process algebra with timing: Real time and discrete time
• Reasoning about rational agents
• The state of the art in agent communication languages
• Transactions on Computational Systems Biology III
• ``Go to the ant: Engineering principles from natural multi-agent systems

Describes a project that uses

Uses Software

• TuCSoN
• ReSpecT

This page was built for publication: Process-algebraic approaches for multi-agent systems: an overview

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