Luigia Petre

Learn More
The mobile ambients and the P systems are models developed in di erent areas of computer science based on very similar concepts and structures Given their resemblance we point out how to transfer ideas and results from one framework to the other Along this line we prove that any P system can be simulated in ambient calculus We also introduce the mobile P(More)
  • Luigia Petre
  • 15th Annual IEEE International Conference and…
  • 2008
Computer networks have become a critical part of our society as we, as users, need our networked world to function continually and at full capacity. One of the basic and often overlooked factors required for such qualities is that of energy. Energy consumption is a non-functional property that needs to be addressed by a network manager, at the more(More)
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are present. In this paper we formalize a recently introduced algorithm that recovers failed actor communication links via the existing sensor infrastructure. We prove via refinement that the(More)
A reliable approach to designing systems is by applying formal methods, based on logics and set theory. In formal methods refinement based, we develop the system models stepwise, from an abstract level to a concrete one by gradually adding details. Each detail-adding level is proved to still validate the properties of the more abstract level. Due to the(More)