Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

Expressing and Verifying Temporal and Structural Properties of Mobile Agents Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest - the temporal evolution of agents and their structural correlation. In particular, we investigate how the classes can be combined into a logic capable of expressing the dynamic evolution of the structural correlation. The problemof model checking properties of a class of the logic on Petri hypernets is shown to be PSPACE-complete. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Fundamenta Informaticae IOS Press

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

Loading next page...
 
/lp/ios-press/expressing-and-verifying-temporal-and-structural-properties-of-mobile-uInO1sI7RK

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
IOS Press
Copyright
Copyright © 2006 by IOS Press, Inc
ISSN
0169-2968
eISSN
1875-8681
Publisher site
See Article on Publisher Site

Abstract

Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest - the temporal evolution of agents and their structural correlation. In particular, we investigate how the classes can be combined into a logic capable of expressing the dynamic evolution of the structural correlation. The problemof model checking properties of a class of the logic on Petri hypernets is shown to be PSPACE-complete.

Journal

Fundamenta InformaticaeIOS Press

Published: Jan 1, 2006

There are no references for this article.