Chiara Nottegar

Learn More
We propose a structural operational semantics for mobile and distributed agents. From it we derive a sto-chastic transition system labelled by actions and their costs. These costs reeect the (net) architecture on which agents run. We then map stochastic transition systems to Markov chains, and performance evaluation is carried out using standard tools. The(More)
  • 1