Powered by OpenAIRE graph
Found an issue? Give us feedback
addClaim

A-TEAM artefact: Animator of Team Automata with Asynchronous Communication

Authors: Proença, José; ter Beek, Maurice H.; BASILE, Davide;

A-TEAM artefact: Animator of Team Automata with Asynchronous Communication

Abstract

This software artefact accompanies a tool paper entitled "A-TEAM: Animator of Team Automata withAsynchronous Communication", submitted to COORDINATION 2026. This tool is web-based, compiled to JavaScript, and can be executed by opening a provided HTML file that loads a companion JavaScript file. The tool is developed in Scala and uses our CAOS libraries (https://github.com/arcalab/CAOS). This artefact is an extension of https://doi.org/10.5281/zenodo.18601856, using a more recent version of the artefact and including a readme.md aligned with the manuscript submitted to COORDINATION. The A-Team tool can load an input program, describing a network of communicating processes, present graphical step-by-step animations, perform traversals of the full state-space, and perform some static analysis (e.g., type checking and search for undesirable states). The latest version of all source code can be found online at https://www.github.com/fm-dcc/a-team, and a snapshot of the tool can be immediately loaded by opening the site https://fm-dcc.github.io/a-team. A permanent version with the source code and a snapshot of the tool can be found in https://doi.org/10.5281/zenodo.18807717, which contains the same files as in this folder.

Keywords

Multiparty Communication, Asynchronous Communication, Team Automata

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average