Formal Development of Mobile Agents with Coordinated Algebraic Petri Nets
2001
Details
Title
Formal Development of Mobile Agents with Coordinated Algebraic Petri Nets
Author(s)
Hulaas, Jarle ; Villazón, Alex ; Buchs, Didier
Published in
SCI'01 session on Formal Modeling of Agents, Orlando, Florida, USA
Pages
3235-3247
Date
2001
Publisher
IEEE Computer Society Press
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20