For the most recent entries see the
Petri Nets Newsletter.
DIMA-Maude: Toward a Formal Framework for Specifying and Validating DIMA Agents.
Mokhati, Farid;
Boudiaf, Noura;
Badri, Mourad;
Badri, Linda
In:
Daniel Moldt (Ed.): Proceedings of the Third Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, October 8-11, 2004, DAIMI PB - 571, pages 169-187.
October 2004.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography