ACVisualizer: A visualization tool for APi-calculus

DOI10.3233/MGS-2008-4303zbMath1175.68267OpenAlexW1894733579MaRDI QIDQ3542780

Raheel Ahmad, Shahram Rahimi

Publication date: 1 December 2008

Published in: Multiagent and Grid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/mgs-2008-4303

zbMATH Keywords

reactive systemssoftware agentsprocess calculiAPi-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Uses Software

• MWB
• CLIPS

This page was built for publication: ACVisualizer: A visualization tool for APi-calculus